论文部分内容阅读
逻辑程序是知识表示和非单调推理研究的重要领域。本文的研究背景是包含否定的逻辑程序。论文介绍了逻辑程序语义研究的现状，综述了过程性语义的研究，并给出了扩展逻辑程序的弱真模型。弱真模型扩展了扩展逻辑程序的回答集。每个扩展逻辑程序至少有一个弱真模型，如果程序存在非平凡的回答集，则它也是一个弱真模型。同时，论文还定义了一个不动点算子，通过这个不动点算子，可以得到程序的最小弱真模型。进一步的，论文深入研究了基于回答集语义的强等价逻辑程序。对于一个k-m-n问题(即三个分别有k，m和n个规则的逻辑程序：P={T1,…，Tk}，P1={u1,…，um}和P2={v1,…，vn}，在什么情况下P∪P1和P∪P2是强等价的)，本文从试验入手通过计算机辅助的方式，发现了0-1-0，1-1-0，0-1-1，2-1-0，0-2-1等问题的充要条件。论文也介绍了这些结果在简化程序方面的应用。从研究的方法论角度看，从小论域的试验结果出发进行定理的猜想，然后通过一些用于推广的定理将猜想推广为一般情况下成立的定理。这种定理发现过程对于一些离散问题的研究具有一定的指导意义。在研究强等价问题的过程中，开发了一个系统：SELP。SELP的核心功能是检查两个程序是否强等价，如果不是还给出一个反例。以此为基础，SELP能够给出在给定论域中一个k-m-n问题的全部解，以及给定一个程序找出所有的与之强等价的程序。这些都有助于我们进一步研究强等价问题和回答集语义。