正规逻辑程序回答集存在性研究

判断逻辑程序的回答集是否存在是回答集程序设计的一个重要问题，也是np完全问题。当前利用否定圈边数的奇偶性来判断回答集存在性的方法还具有一定的局限性，即:对于非分层逻辑程序，现有方法并不能准确判断其回答集存在性。针对该问题，提出了一种新的基于否定圈的判断方法，给出了该判断方法的算法框架，证明了算法的正确性，并以实例分析说明了方法的有效性。