邏輯程序的語義和強等價邏輯程序研究.pdf

1、邏輯程序是知識表示和非單調推理研究的重要領域。本文的研究背景是包含否定的邏輯程序。論文介紹了邏輯程序語義研究的現(xiàn)狀，綜述了過程性語義的研究，并給出了擴展邏輯程序的弱真模型。弱真模型擴展了擴展邏輯程序的回答集。每個擴展邏輯程序至少有一個弱真模型，如果程序存在非平凡的回答集，則它也是一個弱真模型。同時，論文還定義了一個不動點算子，通過這個不動點算子，可以得到程序的最小弱真模型。進一步的，論文深入研究了基于回答集語義的強等價邏輯程序。對于一個

2、k-m-n問題(即三個分別有k，m和n個規(guī)則的邏輯程序：P={T1,…，Tk}，P1={u1,…，um}和P2={v1,…，vn}，在什么情況下P∪P1和P∪P2是強等價的)，本文從試驗入手通過計算機輔助的方式，發(fā)現(xiàn)了0-1-0，1-1-0，0-1-1，2-1-0，0-2-1等問題的充要條件。論文也介紹了這些結果在簡化程序方面的應用。從研究的方法論角度看，從小論域的試驗結果出發(fā)進行定理的猜想，然后通過一些用于推廣的定理將猜想推廣為一般情