Parallel encodings of classical planning as satisfiability (2004)
AUTHORS:
Rintanen Jussi
,
Heljanko Keijo
,
Niemelä Ilkka
URL:
http://users.ics.tkk.fi/kepa/publications/
@techreport{ RinHelNie:TR198, author = {Rintanen, Jussi and Heljanko, Keijo and Niemel{\"a}, Ilkka}, institution = "Institute of Computer Science, University of Freiburg", title = "Parallel encodings of classical planning as satisfiability", url = "http://users.ics.tkk.fi/kepa/publications/", abstract = "We consider a number of semantics for plans with parallel operator application. The standard semantics used most often in earlier work requires that parallel operators are independent and can therefore be executed in any order. We consider a more relaxed definition of parallel plans, first proposed by Dimopoulos et al., as well as normal forms for parallel plans that require every operator to be executed as early as possible, first proposed outside planning in connection with Petri nets. We formalize the semantics of parallel plans emerging in this setting, propose effective translations of the sesemantics to the classical propositional logic, and show that they yield an approach to classical planning that is often much more efficient than the existing SAT-based approaches.", year = "2004", number = "198", month = "February", juforank = "NA", corerank = "NA", flags = "copy SA-53695", address = "Freiburg, Germany", keywords = "planning, propositional logic, satisfiability testing", type = "Technical Report", pages = "8" }