Using criticalities as a heuristic for answer set programming
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
234 - 246
MetadataShow full item record
Please cite this item using this persistent URLhttp://hdl.handle.net/11693/27473
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. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice points. The heuristic used 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 (CSMOD-ELS) uses this new heuristic in a static way. CSMODELS is based on the system SMODELS. The experimental results show that this new heuristic is promising for answer set programming. A comparison of search times with SMODELS demonstrate CSMODELS' usefulness. © Springer-Verlag Berlin Heidelberg 2004.
Showing items related by title, author, creator and subject.
Dedeoǧlu, M.; Alp, Y.K.; Arikan, O. (IEEE Computer Society, 2014)Finite impulse response (FIR) filters have been a primary topic of digital signal processing since their inception. Although FIR filter design is an old problem, with the developments of fast convex solvers, convex modelling ...
Cicekli, I. (Elsevier, 1998)A compiler-based meta-level system for MetaProlog language is presented. Since MetaProlog is a meta-level extension of Prolog, the Warren Abstract Machine (WAM) is extended to get an efficient implementation of meta-level ...
Kian R.; Kargar K. (Elsevier, 2016)In this paper, we study the hub location problem with a power-law congestion cost and propose an exact solution approach. We formulate this problem in a conic quadratic form and use a strengthening method which rests on ...