%0 Journal Article
%T Existence of Answer Sets of Normal Logic Programs<br>正规逻辑程序回答集存在性研究
%A FANG Yi-li
%A ZHAO Ling-zhong
%A QIAN Jun-yan
%A <br>方毅立
%A 赵岭忠
%A 钱俊彦
%J 计算机科学
%D 2011
%I 
%X Determining the existence of answer sets of logic programs is a key problem in answer set programming, and is also NP-complete. Current methods for determining the existence of answer sets are mainly based on the evenness/oddness of the number of edges in negative circles.The limitation of this kind of methods is that if a normal logic program is not stratified, the existence of answer sets of the program cannot be accurately determined. A novel negative circle based method was proposed to solve this problem. An algorithmic framework and the correctness of the method were presented in this paper, and its effectiveness was illustrated by example analysis.
%K Answer set programming
%K Answer set
%K Splitting set
%K Negative cycle<br>回答集逻辑程序，回答集，划分集，否定圈
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=17DDCED190714E79D29B34A0861D7BDC&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=59906B3B2830C2C5&sid=527AEE9F3446633A&eid=1D67BE204FBF4800&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0