基于动态认知逻辑的多主体系统知识推理研究

发布时间：2021-04-09 09:43

　　智能主体技术是人工智能领域的研究热点,智能主体系统与知识表示和知识推理有着密切的联系。在智能主体技术的研究中,主体的设计必须建立在知识表示和知识推理的坚实理论基础之上。要实现机器智能模拟人类智能,首先要实现智能系统准确清晰的知识表示以及符合人类日常思维的合理推理,从而刻画人类的认知过程,促使机器智能更好地进入知识处理和智能模拟阶段。本文在已有的知识表示和知识推理理论等相关研究工作的基础上,深入分析原有工作所存在的问题,从主体间知识的表达能力和互动能力方面探讨建立一个以动态认知逻辑理论为核心的多主体知识表示和知识推理系统,该推理系统不仅能对主体间的知识分布进行静态描述和认知推理,而且能对多主体交流过程中的知识变化进行动态刻画并推理。论文的主要工作和贡献如下:（1）对智能主体知识推理理论,包括认知逻辑理论,缺省逻辑理论,模态逻辑理论,因果推理理论进行研究分析,进一步研究智能主体的知识表示及知识更新,初步刻画人类的认知特性。（2）深入研究多主体认知逻辑理论和动态认知逻辑理论,并在动作逻辑模型的基础上扩展认知操作,提出一个新的行动扩展认知逻辑模型。（3）结合动态认知逻辑理论,提出条件约束的认知... 

【文章来源】：厦门大学福建省 211工程院校 985工程院校 教育部直属院校

【文章页数】：113 页

【学位级别】：博士

【文章目录】：
摘要
Abstract
第一章 绪论
    1.1 研究背景与选题意义
    1.2 研究现状及存在问题
        1.2.1 动态认知逻辑理论的研究背景和存在问题
        1.2.2 基于缺省推理理论的主体知识刻画
        1.2.3 因果理论研究的困境
    1.3 本文的主要内容及特色
    1.4 本文的内容安排
第二章 智能主体知识推理理论
    2.1 引言
    2.2 认知逻辑推理理论
        2.2.1 认知逻辑的语法
        2.2.2 认知逻辑的语义
        2.2.3 公理和推理规则
        2.2.4 认知逻辑的基本性质
    2.3 缺省推理理论
        2.3.1 缺省理论的定义
        2.3.2 闭缺省理论及其扩充
        2.3.3 缺省理论的基本性质
    2.4 模态缺省逻辑理论
        2.4.1 模态缺省逻辑理论
        2.4.2 模态缺省理论的扩充
    2.5 带约束的缺省逻辑理论
        2.5.1 带约束的缺省理论的基本概念
        2.5.2 带约束的缺省理论的基本性质
    2.6 因果逻辑理论
        2.6.1 在逻辑框架内描述的因果关系
        2.6.2 基于统计相关性的因果关系
        2.6.3 Judea Pearl因果理论
    2.7 小结
第三章 动态认知逻辑理论
    3.1 引言
    3.2 静态认知逻辑理论
        3.2.1 多主体认知逻辑语言
        3.2.2 多主体认知逻辑模型
        3.2.3 多主体信念知识
    3.3 动态认知逻辑理论
        3.3.1 动态性分析
        3.3.2 公开宣告逻辑PAL
        3.3.3 公开宣告逻辑模型
        3.3.4 公开宣告逻辑公理系统
    3.4 动作模型逻辑AML
        3.4.1 动作模型逻辑语言
        3.4.2 行动模型
        3.4.3 合成行动模型
        3.4.4 动作模型逻辑系统语义
    3.5 行动扩展认知逻辑模型EAML
        3.5.1 行动扩展认知逻辑语言
        3.5.2 认知操作模型
        3.5.3 EAML认知模型
        3.5.4 认知操作执行模型
        3.5.5 复合认知操作模型
        3.5.6 行动扩展认知逻辑系统语义
    3.6 刻画主体知识变化的范例
    3.7 小结
第四章 基于认知缺省推理的多主体知识更新
    4.1 引言
    4.2 条件约束的认知缺省逻辑理论
        4.2.1 条件约束引入的分析
        4.2.2 认知缺省逻辑定义
        4.2.3 条件约束的认知缺省逻辑扩充
        4.2.4 扩充的性质
        4.2.5 条件约束的认知缺省逻辑语义
    4.3 基于动态认知逻辑的多主体系统知识刻画
        4.3.1 多主体间知识的更新管理
        4.3.2 基于动态认知逻辑的主体知识刻画
        4.3.3 主体认知过程的新知识
        4.3.4 主体认知过程的有效知识
        4.3.5 主体认知过程的公共知识
        4.3.6 主体认知过程的隐含知识
        4.3.7 主体认知过程的相悖知识
    4.4 基于认知缺省推理的多主体知识更新
        4.4.1 基于新知识的认知更新
        4.4.2 基于有效知识的认知更新
        4.4.3 基于公共知识时的认知更新
        4.4.4 基于隐含知识的认知更新
        4.4.5 基于不协调知识的认知更新
        4.4.6 刻画主体知识更新的范例
    4.5 小结
第五章 基于动态认知逻辑的因果推理
    5.1 引言
    5.2 基于动态认知逻辑框架的因果推理
        5.2.1 因果认知推理语言
        5.2.2 因果关系认知模型
        5.2.3 因果推理行动模型
        5.2.4 因果关系推理模型
        5.2.5 复合行动认知模型
        5.2.6 因果认知推理语义
        5.2.7 因果认知推导系统
    5.3 行动理论推理
        5.3.1 行动理论状态域描述
        5.3.2 状态域刻画的瓶颈问题
    5.4 基于知识和询问的因果推理模型
        5.4.1 因果推理模型
        5.4.2 基于认知科学的状态确定方法
        5.4.3 逻辑智能与计算智能
    5.5 小结
第六章 总结与展望
第七章 参考文献
第八章 攻读博士期间科研成果
第九章 致谢


【参考文献】：
期刊论文
[1]从PAL看认知逻辑的动态转换[J]. 郭美云.  自然辩证法研究. 2006(01)
[2]从信息更新到博弈逻辑——写在约翰·范·本特姆来访之后[J]. 刘奋荣.  哲学动态. 2005(02)
[3]基于动态描述逻辑的主体模型[J]. 董明楷,张海俊,史忠植.  计算机研究与发展. 2004(05)
[4]认识逻辑（1）:关于知识和信念的逻辑框架[J]. 刘瑞胜,孙吉贵,刘叙华.  计算机学报. 1998(07)
[5]带有约束的缺省逻辑[J]. 刘瑞胜,孙吉贵,刘叙华.  吉林大学自然科学学报. 1996(03)
[6]缺省模态逻辑[J]. 李永礼,范荣强.  兰州大学学报. 1994(03)
[7]缺省推理与认识进程[J]. 李未.  计算机科学. 1993(02)
[8]一个开放的逻辑系统[J]. 李未.  中国科学（A辑 数学 物理学 天文学 技术科学）. 1992(10)



本文编号：3127398