直觉主义认知逻辑ICDK

摘要：

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

关键词：直觉主义认知逻辑、分布式知识、公共知识

所属期刊栏目：12

分类号：TP301(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No. 61602249

在线出版日期：2018-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1843-1851