检索结果-维普期刊中文期刊服务平台

多模态逻辑的研究动因及意义被引量：1: 1; 作者赵贤张燕京《河北学刊》 CSSCI 北大核心 2015年第4期28-31,共4页; 模态逻辑理论的蓬勃发展是多模态逻辑产生的理论背景,模态间的联合问题以及模态逻辑理论的广泛应用是多模态逻辑研究的动因和出发点。多模态逻辑作为模态逻辑理论体系的重要组成部分,对其进行研究具有重要的理论和现实意义。; 关键词多模态逻辑动因意义; 在线阅读下载PDF 职称材料

基于中介逻辑的多模态逻辑系统: 2; 作者施庆生张东摩《南京航空航天大学学报》 CAS CSCD 1996年第1期1-7,共7页; 多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介... 展开更多; 关键词中介逻辑多模态逻辑时态逻辑正规系统; 在线阅读下载PDF 职称材料

纤维逻辑被引量：1: 3; 作者邱莉榕杨柳史忠植《计算机科学》 CSCD 北大核心 2006年第1期1-3,共3页; 形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但... 展开更多; 关键词形式逻辑 BDI逻辑多模态逻辑纤维逻辑模态逻辑纤维可能世界语义命题逻辑人工智能复杂性; 在线阅读下载PDF 职称材料

结合逻辑和决策论方法的Agent模型研究: 4; 作者凌兴宏黄志球 +2 位作者刘全李凡长崔志明《南京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第6期805-809,共5页; 分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之... 展开更多; 关键词 AGENT模型心智状态量化多模态逻辑 BDI模型; 在线阅读下载PDF 职称材料

题名多模态逻辑的研究动因及意义被引量：1: 1; 作者赵贤张燕京; 机构河北大学哲学系; 出处《河北学刊》 CSSCI 北大核心 2015年第4期28-31,共4页; 基金 2014年度河北省社会科学基金项目<多模态逻辑及其应用功能研究>(HB14ZX012) 河北省高等学校社会科学研究基金项目<多模态逻辑理论及其在当代哲学中的应用>(SQ141127); 文摘模态逻辑理论的蓬勃发展是多模态逻辑产生的理论背景,模态间的联合问题以及模态逻辑理论的广泛应用是多模态逻辑研究的动因和出发点。多模态逻辑作为模态逻辑理论体系的重要组成部分,对其进行研究具有重要的理论和现实意义。; 关键词多模态逻辑动因意义; Keywords Multimodal logic Motivation Significance; 分类号 B815.1 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名基于中介逻辑的多模态逻辑系统: 2; 作者施庆生张东摩; 机构南京航空航天大学计算机科学与工程系; 出处《南京航空航天大学学报》 CAS CSCD 1996年第1期1-7,共7页; 基金国家高技术研究发展计划国家基础研究"攀登计划"资助; 文摘多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。; 关键词中介逻辑多模态逻辑时态逻辑正规系统; Keywords medium logic multi-modal logic tense logic normal system of medium multi-modallogic medium tense logic; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名纤维逻辑被引量：1: 3; 作者邱莉榕杨柳史忠植; 机构中国科学院计算技术研究所; 出处《计算机科学》 CSCD 北大核心 2006年第1期1-3,共3页; 基金本文得到国家"863"高技术研究发展计划"自主计算的理论和技术研究"(No.2003AA115220) 国家973项目"语义网格的基础理论 +1 种基金模型方法和关键技术"(No.2003CB317004)资助。; 文摘形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方。本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体 BDI 建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望。; 关键词形式逻辑 BDI逻辑多模态逻辑纤维逻辑模态逻辑纤维可能世界语义命题逻辑人工智能复杂性; Keywords Formal logics, BDI logics, Multi modal logics, Fibring logics; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] TS101.921 [轻工技术与工程—纺织工程]; 在线阅读下载PDF 职称材料

题名结合逻辑和决策论方法的Agent模型研究: 4; 作者凌兴宏黄志球刘全李凡长崔志明; 机构南京航空航天大学信息科学与技术学院苏州大学计算机科学与技术学院; 出处《南京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第6期805-809,共5页; 基金国家自然科学基金(60673092)资助项目江苏省自然科学基金(BK050027)资助项目江苏省高校自然科学研究基金(06KJB520104)资助项目; 文摘分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。; 关键词 AGENT模型心智状态量化多模态逻辑 BDI模型; Keywords Agent model mental states quantified multi-modal logic BDI model; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	多模态逻辑的研究动因及意义	赵贤张燕京	《河北学刊》 CSSCI 北大核心	2015	1	在线阅读下载PDF 职称材料
2	基于中介逻辑的多模态逻辑系统	施庆生张东摩	《南京航空航天大学学报》 CAS CSCD	1996	0	在线阅读下载PDF 职称材料
3	纤维逻辑	邱莉榕杨柳史忠植	《计算机科学》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
4	结合逻辑和决策论方法的Agent模型研究	凌兴宏黄志球刘全李凡长崔志明	《南京航空航天大学学报》 EI CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料