Using criticalities as a heuristic for Answer Set Programming
Author
Sabuncu, O.
Alpaslan, F. N.
Akman, Varol
Date
2004Source Title
Logic Programming and Nonmonotonic Reasoning
Print ISSN
0302-9743
Publisher
Springer, Berlin, Heidelberg
Volume
2923
Pages
234 - 246
Language
English
Type
Conference PaperItem Usage Stats
142
views
views
109
downloads
downloads
Abstract
Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. Generally, systems utilize some heuristics to choose new literals at the choice points. The heuristic used in this process is one of the key factors for the performance of the system. A new heuristic for answer set programming has been developed. This heuristic is inspired by hierarchical planning. The notion of criticality, which was introduced for generating abstraction hierarchies in hierarchical planning, is used in this heuristic. The resulting system (CSMODELS) uses this new heuristic and is based on the system SMODELS. The experimental results show that this new heuristic is promising for answer set programming. CSMODELS generally takes less time than SMODELS to find an answer set.
Keywords
Abstraction HierarchyAnswer Set
Answer Set Programming
Hierarchical Planning
Literals
Logic Programs
SMODELS
Criticality (Nuclear Fission)
Logic Programming
Permalink
http://hdl.handle.net/11693/27483Published Version (Please cite this version)
https://doi.org/10.1007/978-3-540-24609-1_21https://doi.org/10.1007/b94792