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

贵州大学硕士研究生学问论文 带函数的析取逻辑程序良基语义研究 摘 要 二十世纪八十年代逻辑程序设计语言在描述性语义上取得突破性的进展-稳 定模型语义（回答集语义），为逻辑程序的研究打开了大门。回答集语义的提出 使人们可以用逻辑程序表示问题，而程序的回答集作为该问题的可行解。2000 年前后，各种有效的逻辑程序求解器被研制出来，推广了逻辑程序设计语言的应 用,使回答集程序设计（Answer Set Programming, 简称ASP）进入一个新高度。 之前逻辑程序的研究很少涉及函数，近几年一些国内外的专家、学者提出了 带函数的逻辑程序的求解方法，主要通过公式化其完备化和环公式，从而计算稳 定模型。同时他们提出了消除函数的方法，即用新的变量反复替换每个函数项， 同时在对应的规则体中增加新的函数原子，从而消除原子中的函数。但检查一个 模型是否极小模型相当困难，主要原因之一是检查一个集合是否是回答集是困难 的（∑2-完全的