直觉主义认知逻辑ICDK

• 作者: 徐京京
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 直觉主义认知逻辑 分布式知识 公共知识
• 年，卷（期）: 2018,（11）
• 所属期刊栏目: 理论与算法
• 页码范围: 1843-1851
• 页数: 9页
• 分类号: TP301
• 字数: 8989字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1709097

摘要

认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用.为给强调构造性和能行性的计算机科学相关领域的研究提供新的逻辑工具,一批学者开始将直觉主义构造性观点和认知逻辑相结合,在直觉主义逻辑基础上对认知逻辑展开研究.基于J?ger和Marti对直觉主义分布式知识和公共知识的研究,在直觉主义逻辑框架下同时处理公共知识和分布式知识.针对知识满足的不同性质及不同可达关系特性,建立了含分布式知识和公共知识的两个直觉主义认知逻辑公理系统ICDK和ICDT.通过对模型进行逐次变换的方法构造了典范模型并给出了完备可靠性证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐京京	南京航空航天大学计算机科学与技术学院	2	0	0.0	0.0