AAAI Publications, Ninth Symposium of Abstraction, Reformulation, and Approximation

Font Size: 
Automatic Synthesis of Temporal Invariants
Sara Bernardini, David E. Smith

Last modified: 2011-12-14


We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous discrete actions by addressing temporal and numeric domains. To deal with time, we formulate invariance conditions that account for both the entire structure of the operators (including the conditions, rather than just the effects) and the possible interactions between operators.


Problem reformulation, Temporal Invariants

Full Text: PDF