逻辑程序非基有限失败的语义

发布时间：2023-01-30 08:56

　　逻辑程序始于上世纪70年代初，来源于定理机器证明与人工智能的研究。在逻辑程序30年的发展中，它已经成为了人工智能领域中重要的一个方向，在众多人工智能领域展示着它的价值。逻辑程序语义的研究中重要的一个方面就是否定的处理。处理否定最基本的两种方法是闭世界假定（closed world assumption）和失败即否定原则（negation as failure）。本文所论述的非基有限失败语义，是对于失败即否定原则的研究。在对非基有限失败语义的研究中，抽象解释（abstract interpretation）方法被用于不动点语义的推导。 抽象解释方法是一种用于近似程序语义的通用方法。其核心思想在于构建和联系程序的两个不用的语义：具体语义（concrete semantics）和抽象语义（abstract semantics），抽象语义是具体语义的近似。抽象解释方法与逻辑程序有着紧密的联系，在逻辑程序语义的研究中有着重要的作用。 有限失败是失败即否定原则中重要的概念，它是指求解一个目标所得到的SLD树是有限且每个分支都是失败的。最先在文献中... 

【文章页数】：53 页

【学位级别】：硕士

【文章目录】：
第一章 绪论
    1.1 背景
    1.2 问题的提出
    1.3 研究线索及本文工作
第二章 逻辑程序和抽象解释
    2.1 逻辑程序基础
        2.1.1 逻辑程序的语法
        2.1.2 逻辑程序的指称语义
        2.1.3 逻辑程序的操作语义
        2.1.4 有限失败
    2.2 抽象解释基础
第三章 可观察行为理论
    3.1 SLD推导语义
        3.1.1 语义域
        3.1.2 SLD推导的指称语义
        3.1.3 SLD推导的操作语义
        3.1.4 程序的指称
        3.1.5 SLD推导的语义性质
    3.2 可观察行为理论
        3.2.1 可观察行为
        3.2.2 抽象语义
        3.2.3 标准可观察行为
        3.2.4 指称可观察行为
第四章 非基有限失败的不动点语义
    4.1 无限推导的性质
    4.2 SLD推导语义的扩展
        4.2.1 基本运算符的扩展
        4.2.2 语义的扩展
        4.2.3 指称可观察行为的修改
    4.3 非基有限失败的不动点语义
        4.3.1 NGFF的可观察行为
        4.3.2 NGFF的不动点语义
    4.4 抽象域的重构
第五章 结论与展望
参考文献
致谢
摘要
Abstract



本文编号：3732912