%0 Journal Article
%T An Answer Set Programming System with Cycle Breaking Heuristic<br>一个带破圈启发方法的回答集编程系统
%A SHEN Yu-Ping
%A ZHAO Xi-Shun
%A <br>沈榆平
%A 赵希顺
%J 软件学报
%D 2008
%I 
%X Answer set programming(ASP)is a logic programming paradigm under answer set semantics,which can be utilized in the field of non-monotonic reasoning and declarative problem solving,etc.This paper proposes and implements a cycle breaking heuristic and a bottom-restricted look-ahead procedure for ASP,and the resulting system is called LPS.The experimental results show that,relative to other state-of-the-art ASP systems,LPS could efficiently solve logic programs in phase transition hard-job-regions,and these programs are generally considered difficult to compute.In addition,by applying the so-called dynamic variable filtering(DVF)technique,LPS could greatly reduce the search tree size during the computation.
%K answer set programming
%K heuristic
%K look-ahead
%K logic program
%K phase transition<br>回答集编程
%K 启发方法
%K 前向搜索
%K 逻辑程序
%K 相变
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=29C7C5A56B23212FC3380C4985300050&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=E158A972A605785F&sid=F26986CDF689DBC4&eid=2D207DE75533FA7E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=27