Encoding planning problems in nonmonotonic logic programs
Ημερομηνία
1997ISSN
0302-9743Source
4th European Conference on Planning, ECP 1997Volume
1348 LNAIPages
169-181Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
We present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration. In order to accomplish our goal, we bring together ideas from logic programming and the planning systems graphplan and satplan. We discuss different representations of planning problems in logic programs, point out issues related to their performance, and show ways to exploit the structure of the domains in these representations. For our experimentation we use an existing implementation of the stable models semantics called smodels. It turns out that for careful and compact encodings, the performance of the method across a number of different domains, is comparable to that of planners like graphplan and satplan.