直觉主义认知逻辑ICDK

发布时间：2025-02-15 10:05

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

【文章页数】：9 页

【文章目录】：
1 引言
2 语言LCDK和语义解释
3 希尔伯特风格公理系统ICDK、ICDT
4 伪满足性
5 可靠性和完备性
6 总结



本文编号：4034137