带函数的析取逻辑程序良基语义研究.pdfVIP

目 录 摘 要I Abstract II 第一章 绪 论1 1.1 研究背景及意义1 1.2 国内外逻辑程序的发展和研究1 1.3 研究内容及其结果3 1.4 文章的组织结构3 第二章 回答集程序设计基础知识5 2.1 析取逻辑程序语法5 2.2 稳定模型6 2.3 良基解释8 2.4 本章小结10 第三章 带函数的析取逻辑程序的无基集及良基解释11 3.1 带函数的析取逻辑程序11 3.2 无基集与良基解释14 3.3 基于SAT 的稳定模型算法27 3.4 本章小结35 第四章 哈密尔顿回路的回答集程序方法36 4.1 基本随机图模型及相变概念36 4.2 生成随机图算法和哈密尔顿回路逻辑程序36 4.3 实验分析38 4.4 本章小结41 第五章 总结与展望42 5.1 总结42 5.2 展望42 致谢44 参考文献45 在攻读硕士学位期间的学术论文及科研项目48 万方数据 贵州大学硕士研究生学问论文 带函数的析取逻辑程序良基语义研究 摘 要 二十世纪八十年代逻辑程序设计语言在描述性语义上取得突破性的进展-稳 定模型语义（回答集语义），为逻辑程序的研究打开了大门。回答集语义的提出 使人们可以用逻辑程序表示问题，而程序的回答集作为该问题的可行解。2000 年前后，各种有效的逻辑程序求解器被研制出来，推广了逻辑程序设计语言的应 用,使回答集程序设计（Answer Set Programming, 简称ASP）进入一个新高度。 之前逻辑程序的研究很少涉及函数，近几年一些国内外的专家、学者提出了 带函数的逻辑程序的求解方法，主要通过公式化其完备化和环公式，从而计算稳 定模型。同时他们提出了消除函数的方法，即用新的变量反复替换每个函数项， 同时在对应的规则体中增加新的函数原子，从而消除原子中的函数。但检查一个 模型是否极小模型相当困难，主要原因之一是检查一个集合是否是回答集是困难 的（∑2-完全的）。 正规逻辑程序的良基语义是近十年逻辑程序语义解释的一个热点，它的一个 重要作用是计算回答集的时候可以化简程序。因此在王以松等人的基础上，将良 基语义扩展到带函数的析取逻辑程序中，发现用这种思想能够解决带函数析取逻 辑程序稳定模型的求解。文章中我们的主要工作 （1）提出了带函数的析取逻辑 程序无基集的概念，证明了空无基集与稳定模型之间的一一对应关系；（2）研究 了带函数的析取逻辑程序的良基语义，证明其良基模型是完全解释时，是其稳定 模型；（3）根据上面的结论设计了基于SAT 的稳定模型算法，证明了一个逻辑程 序的模型是该程序的稳定模型当且仅当