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

概率信念逻辑的语义: 1; 作者曹子宁石纯一《计算机研究与发展》 EI CSCD 北大核心 2000年第11期1281-1286,共6页; 在信念逻辑基础上 ,引入概率 ,给出了一种概率信念逻辑 PBL ,增强了信念逻辑的表述能力和推理能力 .并为 PBL 建立了两种语义 :首先将知识逻辑的 Aum ann语义进行推广 ,给出 PBL 逻辑的概率 Aum ann语义 .其次为 PBL 建立了一种正规概... 展开更多; 关键词 kripke语义概率信念逻辑人工智能; 在线阅读下载PDF 职称材料

多Agent模糊概率信念逻辑被引量：3: 2; 作者林运国陈晓云 +1 位作者胡山立陈莉《广西师范大学学报（自然科学版）》 CAS 北大核心 2008年第1期150-153,共4页; 在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,... 展开更多; 关键词多AGENT系统信念逻辑kripke语义广义Aumann语义模糊概率; 在线阅读下载PDF 职称材料

模态逻辑S4的覆盖语义及其完备性被引量：1: 3; 作者于海詹婉荣张瑞玲《电子学报》 EI CAS CSCD 北大核心 2012年第4期745-750,共6页; 基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.; 关键词模态逻辑覆盖语义 kripke语义拓扑语义完备性; 在线阅读下载PDF 职称材料

多Agent信念逻辑及其在概率意义下的推广被引量：1: 4; 作者曹子宁董红斌石纯一《软件学报》 EI CSCD 北大核心 2001年第9期1366-1374,共9页; 首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备... 展开更多; 关键词信念逻辑 kripke语义概率信念逻辑多AGENT系统人工智能; 在线阅读下载PDF 职称材料

语法规则解释的限度和语法以外的装置: 5; 作者蒋国辉《求是学刊》 CSSCI 北大核心 1990年第4期64-68,96,共6页; 关键词语义标注句子转换生成语法语法规则词项语义表信念语言能力逻辑式节点; 在线阅读下载PDF 职称材料

题名概率信念逻辑的语义: 1; 作者曹子宁石纯一; 机构清华大学计算机科学与技术系; 出处《计算机研究与发展》 EI CSCD 北大核心 2000年第11期1281-1286,共6页; 基金国家自然科学基金资助!(项目编号 6 99730 2 3 6 97730 2 6 ); 文摘在信念逻辑基础上 ,引入概率 ,给出了一种概率信念逻辑 PBL ,增强了信念逻辑的表述能力和推理能力 .并为 PBL 建立了两种语义 :首先将知识逻辑的 Aum ann语义进行推广 ,给出 PBL 逻辑的概率 Aum ann语义 .其次为 PBL 建立了一种正规概率模态语义 ,这是一种适于刻画概率模态逻辑的语义模型 .证明了 PBL 的概率 Aum ann语义和正规概率模态语义的可靠性 ,并讨论了正规概率模态语义与 Kripke语义的关系 .最后 ,通过一个例子说明了 PBL的描述能力和推理能力 .; 关键词 kripke语义概率信念逻辑人工智能; Keywords belief logic, kripke semantics, probabilistic belief logic, probabilistic Aumann semantics, normal probabilistic modal semantics; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名多Agent模糊概率信念逻辑被引量：3: 2; 作者林运国陈晓云胡山立陈莉; 机构福州大学数学与计算机科学学院福建医科大学数理与计算机教学部; 出处《广西师范大学学报（自然科学版）》 CAS 北大核心 2008年第1期150-153,共4页; 基金国家自然科学基金资助项目(60373079) 福州大学校人才基金资助项目(XRC-0618); 文摘在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。; 关键词多AGENT系统信念逻辑kripke语义广义Aumann语义模糊概率; Keywords multi agent system belief logic kripke semantics general Aumann semantics fuzzy probability; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名模态逻辑S4的覆盖语义及其完备性被引量：1: 3; 作者于海詹婉荣张瑞玲; 机构洛阳师范学院数学科学学院洛阳师范学院信息技术学院; 出处《电子学报》 EI CAS CSCD 北大核心 2012年第4期745-750,共6页; 基金国家自然科学基金(No.61050004) 河南省基础与前沿研究计划(No.082300410270); 文摘基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.; 关键词模态逻辑覆盖语义 kripke语义拓扑语义完备性; Keywords modal logic covering semsntics kripke semantics topological semantics completeness; 分类号 O142 [理学—基础数学] TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名多Agent信念逻辑及其在概率意义下的推广被引量：1: 4; 作者曹子宁董红斌石纯一; 机构清华大学计算机科学与技术系哈尔滨师范大学计算机科学系; 出处《软件学报》 EI CSCD 北大核心 2001年第9期1366-1374,共9页; 基金国家自然科学基金资助项目 (6 99730 2 3 6 97330 2 0 ) 黑龙江省自然科学基金资助项目 (F0 0 - 0 4)~~; 文摘首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 .其次 ,建立了一种多 Agent概率信念逻辑 MPBL(multi- agent probabilisticbelief logic) ,通过在广义 Aumann语义基础上引入概率空间 ,给出了 MPBL的概率 Aumann语义 ,证明了它的可靠性 ,并给出 MPBL的一些推论 .; 关键词信念逻辑 kripke语义概率信念逻辑多AGENT系统人工智能; Keywords belief logic kripke semantics generalized Aumann semantics probabilistic belief logic probabilistic Aumann semantics MAS (multi agent system); 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名语法规则解释的限度和语法以外的装置: 5; 作者蒋国辉; 出处《求是学刊》 CSSCI 北大核心 1990年第4期64-68,96,共6页; 关键词语义标注句子转换生成语法语法规则词项语义表信念语言能力逻辑式节点; 分类号 C55 [社会学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	概率信念逻辑的语义	曹子宁石纯一	《计算机研究与发展》 EI CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料
2	多Agent模糊概率信念逻辑	林运国陈晓云胡山立陈莉	《广西师范大学学报（自然科学版）》 CAS 北大核心	2008	3	在线阅读下载PDF 职称材料
3	模态逻辑S4的覆盖语义及其完备性	于海詹婉荣张瑞玲	《电子学报》 EI CAS CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
4	多Agent信念逻辑及其在概率意义下的推广	曹子宁董红斌石纯一	《软件学报》 EI CSCD 北大核心	2001	1	在线阅读下载PDF 职称材料
5	语法规则解释的限度和语法以外的装置	蒋国辉	《求是学刊》 CSSCI 北大核心	1990	0	在线阅读下载PDF 职称材料