关于直觉主义认知逻辑若干问题的研究

发布时间：2024-03-18 23:37

　　认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。长期以来,学术界在经典逻辑的基础上对认知逻辑开展了深入而广泛的研究,针对不同知识类型建立了相应的逻辑系统加以刻画。近年来,一批学者将直觉主义构造性观点和认知逻辑相结合,在直觉主义逻辑基础上对认知逻辑展开研究。这种研究为强调构造性和能行性的计算机科学相关领域的研究提供了新的逻辑工具。众所周知,直觉主义逻辑除了基于证明概念的BHK(Brouwer-Heyting-Kolmogrov)语义、基于Heyting代数的代数语义还有基于真值的Kripke语义。Kripke结构是模态逻辑的重要语义结构之一,易于理解且与形式化方法中诸多结构相似,在此结构上的逻辑语言可以作为描述计算系统性质的规范语言。所以,直觉主义认知逻辑的诸多研究基于Kripke结构展开。但是,由于兼顾认知模态词和直觉主义否定词的语义解释,这些Kripke结构的可达关系需要满足更多的约束性质,这就给相关逻辑系统完备性证明中模型的构造带来困难。尤其是对含有公共知识这种具有不动点语义特性的模态词的逻辑系统而言,通常的典范模型方...

【文章页数】：65 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
注释表
缩略词
第一章 绪论
    1.1 引言
    1.2 直觉主义认知逻辑
    1.3 公共知识和分布式知识
    1.4 本文主要工作
第二章 基本概念
    2.1 经典认知逻辑
    2.2 直觉主义逻辑
    2.3 直觉主义认知逻辑
    2.4 带公共知识的直觉主义认知逻辑
    2.5 带分布式知识的直觉主义认知逻辑
第三章直觉主义认知逻辑IDS4
    3.1 公理系统
    3.2 伪满足性和模型变换
        3.2.1 伪满足性
        3.2.2 模型变换
    3.3 完备可靠性
    3.4 本章小结
第四章 直觉主义认知逻辑ICDK
    4.1 语法和语义
    4.2 公理系统
    4.3 伪满足性和模型变换
        4.3.1 伪满足性
        4.3.2 模型变换
    4.4 完备可靠性
    4.5 本章小结
第五章 总结与展望
    5.1 全文总结
    5.2 进一步的工作
参考文献
致谢
在学期间的研究成果及发表的学术论文



本文编号：3931986