命题逻辑假说扩充生成算法及其应用研究

发布时间：2021-05-22 04:24

　　在人工智能被提出之初,就将实现常识推理作为人工智能研究的一个长期目标。在日常中,常识推理可以帮助在不完全信息的情况下,根据常识做出合理的假设来进行有效的推理。目前,信念修正方法作为处理常识推理中非单调性的问题被广泛的研究。这种方法通过引入一个修正算子,将信息调整纳入已有知识库。然而在信念修正的过程中不可避免的出现期望信息的丢失。不同于信念修正的方法,信念非修正的方法在不改变原有知识库的基础上,通过限制推理的过程来获得一致的扩充,实现有效的推理。在命题逻辑下,假说的扩充已经被证明具有良好的数学性质。但是在现有的研究中,对于有限个子句构成的假说,其扩充一般会是一个无限的集合。为了将非修正的方法更易于实际应用,本文做出如下研究：（1）定义了命题逻辑下假说的扩充。在这种定义下的有限个子句构成的假说的扩充仍然为一个有限的子句的集合,并且保持与己有的假说的扩充是逻辑等价的。本文对等价性进行了证明。（2）提出了命题逻辑下假说的扩充的生成算法。在算法的设计中参考求本原蕴涵的方法,优化了归结过程。在完成算法理论证明之后,使用JAVA语言实现算法。使用多个假说作为测试案例进行实验,验证了算法程序的处理结果... 

【文章来源】：大连海事大学辽宁省 211工程院校

【文章页数】：54 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
第1章 绪论
    1.1 引言
    1.2 研究现状
    1.3 主要研究内容
    1.4 论文组织结构
第2章 信念非修正相关理论概述
    2.1 常识推理的相关理论
        2.1.1 非单调推理
        2.1.2 信念修正
    2.2 信念非修正方法相关理论
        2.2.1 信念非修正的发展
        2.2.2 命题逻辑假说扩充的性质与认识进程
    2.3 命题逻辑相关理论基础
        2.3.1 命题逻辑概述
        2.3.2 命题逻辑的归结原理
第3章 命题逻辑下假说的扩充及生成算法
    3.1 本原蕴涵
    3.2 假说扩充的定义
    3.3 命题假说扩充的生成算法
        3.3.1 归结中使用Tison方法
        3.3.2 算法流程图
        3.3.3 假说扩充的生成算法算法
        3.3.4 算法正确性相关证明
    3.4 命题假说扩充的生成算法实验结果
        3.4.1 实验环境
        3.4.2 实验用例
        3.4.3 实验过程及结果
    3.5 小结
第4章 命题假说扩充在知识编译中的应用
    4.1 知识编译概述
    4.2 基于假说扩充的知识编译
    4.3 与其他知识编译方法的关系
    4.4 小结
第5章 总结与展望
    5.1 论文总结
    5.2 工作展望
参考文献
致谢


【参考文献】：
期刊论文
[1]不一致信念的一种自顶向下的处理方法[J]. 邓安生,郭一晶,邓智欢.  厦门大学学报(自然科学版). 2005(S1)
[2]信念修正的理论与方法[J]. 熊立文.  哲学动态. 2005(03)
[3]信念修正的实现方法[J]. 栾尚敏,戴国忠.  计算机科学. 2004(12)
[4]不一致信念的定量非修正方法满足AGM公设的讨论[J]. 尚颖,邓安生,鞠晓东.  计算机工程与科学. 2004(05)
[5]有限信念集上修正的一种方法[J]. 栾尚敏,戴国忠.  软件学报. 2003(05)
[6]信念修正的完全和可操作的方法[J]. 李未,栾尚敏.  软件学报. 2002(01)
[7]基于非修正方法的认识进程及其极限[J]. 张丽英,邓安生.  东北师大学报(自然科学版). 2000(03)
[8]常识推理中不一致信念的一种非修正处理方法[J]. 关伟洲,邓安生.  东北师大学报(自然科学版). 2000(03)
[9]A Logical Framework for Knowledge Base Maintenance[J]. 李未.  Journal of Computer Science and Technology. 1995(03)
[10]一个开放的逻辑系统[J]. 李未.  中国科学（A辑 数学 物理学 天文学 技术科学）. 1992(10)

硕士论文
[1]命题信念集的非修正处理方法研究[D]. 郝璐璐.大连海事大学 2013
[2]加权子句型信念集的静态非修正处理方法研究[D]. 郭小琳.大连海事大学 2013
[3]子句型信念集静态非修正处理方法的优化研究[D]. 冯陆.大连海事大学 2012
[4]子句型信念集的静态非修正处理方法研究[D]. 张卫娜.大连海事大学 2012
[5]Horn子句型信念的静态非修正处理方法研究[D]. 刘文赫.大连海事大学 2011
[6]不一致信念的定量非修正分层处理方法研究[D]. 张建新.大连海事大学 2010



本文编号：3200977