About partial order reduction in planning and computer aided verification
ConferencePaper (Artikel, die in Tagungsbänden erschienen sind)
 
ID 1422637
Author(s) Wehrle, Martin; Helmert, Malte
Author(s) at UniBasel Helmert, Malte
Wehrle, Martin
Year 2012
Title About partial order reduction in planning and computer aided verification
Book title (Conference Proceedings) Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
Place of Conference Atibaia, Sao Paulo Brazil
Year of Conference 2012
Publisher AAAI Press
Place of Publication Atibaia
Pages 297-305
Abstract Partial order reduction is a state space pruning approach that has been originally introduced in computer aided verification. Recently, various partial order reduction techniques have also been proposed for planning. Despite very similar underlying ideas, the relevant literature from computer aided verification has hardly been analyzed in the planning area so far, and it is unclear how these techniques are formally related. We provide an analysis of existing partial order reduction techniques and their relationships. We show that recently proposed approaches in planning are instances of general partial order reduction approaches from computer aided verification. Our analysis reveals a hierarchy of dominance relationships and shows that there is still room for improvement for partial order reduction techniques in planning. Overall, we provide a first step towards a better understanding and a unifying theory of partial order reduction techniques from different areas.
URL http://ai.cs.unibas.ch/papers/wehrle-helmert-icaps2012.pdf
edoc-URL http://edoc.unibas.ch/dok/A6043738
Full Text on edoc Available
 
   

MCSS v5.8 PRO. 0.472 sec, queries - 0.000 sec ©Universität Basel  |  Impressum   |    
08/08/2020