解释诊断在动态认知逻辑中的研究与实现

发布时间：2022-10-15 15:12

　　在人工智能领域,如何使计算机能运用常识知识进行推理和问题求解是最困难的问题之一,情景演算和动态认知逻辑都是以此为研究目标的两种重要的知识表示语言。McIlraith在1993年使用情景演算作为知识表示语言,定义了解释诊断的概念,解释诊断研究的是在智能体观察到一个故障现象后,如何找出故障现象的合理解释,它是基于模型诊断研究领域的一个重要分支。由于情景演算无法描述智能体的认知知识,余泉博士等人在2013年使用动态认知逻辑作为知识表示语言,定义了认知解释诊断的概念,该理论对于多智能体环境中的知识表示与推理具有重要意义。解释诊断理论研究的最终目的是实现对解释诊断问题的自动化求解,即实现该问题的求解器。同时,在实现认知解释诊断理论的过程中,也可以增强对该理论的理解和发现理论的不足。因此,对于认知解释诊断理论的研究与求解器的实现具有非常重要的理论意义和应用价值。 由于在求解器的设计中,重要的不是求解问题的步骤,而是定义问题与解的描述,所以本文在对动态认知理论进行了深入研究之后,决定采用函数式语言Haskell作为求解器的编程语言。本文研究工作主要包括： （i）首先,在计算机中用Hask... 

【文章页数】：61 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
目录
第一章 引言
    1.1 背景和意义
    1.2 国内外研究现状
    1.3 本文动机和主要工作
    1.4 本文结构安排
    1.5 本章小结
第二章 预备知识
    2.1 命题语言L_P与一阶谓词语言L_Q
    2.2 语义理论
    2.3 一阶逻辑演算系统Q
    2.4 模态逻辑
    2.5 本章小结
第三章 认知解释诊断理论的研究
    3.1 认知逻辑
    3.2 动态认知逻辑
    3.3 认知解释诊断
    3.4 本章小结
第四章 Haskell简介
    4.1 Haskell简介
    4.2 Haskell的基本概念
    4.3 Haskell的程序特点
    4.4 本章小结
第五章 求解器的设计与实现
    5.1 求解器框架
    5.2 建模模块
    5.3 诊断模块
    5.4 问题描述模块
    5.5 算法复杂度分析
    5.6 本章小结
第六章 实验结果与分析
    6.1 实验概述
    6.2 香烟问题
    6.3 开灯关灯问题
    6.4 实验结果与分析
    6.5 本章小结
第七章 总结与展望
    7.1 本文的工作总结
    7.2 未来的工作
参考文献
致谢


【参考文献】：
期刊论文
[1]从动态认知逻辑的观点看中医方证思想[J]. 刘奋荣.  重庆理工大学学报(社会科学). 2010(10)

硕士论文
[1]基于动态认知的城市街道空间的可意象性研究[D]. 周洁丽.江南大学 2012



本文编号：3691533