AAAI Publications, Sixth European Conference on Planning

Font Size: 
DISCOPLAN: An Efficient On-Line System for Computing Planning Domain Invariants
Alfonso Emilio Gerevini, Lenhart Schubert

Last modified: 2014-06-11


DISCOPLAN is an efficient system for discovering state invariants in planning domains with conditional effects. Among the types of invariants found are implicative constraints relating a fluent predication to a fluent or static predication (with allowance for static supplementary conditions), single-valuedness constraints, exclusiveness constraints, and several others. The algorithms used are polynomial-time for any fixed bound on the number of literals in an invariant. Some combinations of constraints are found by simultaneous induction, and the methods can be iterated by expanding operators using previously found invariants. The invariants found by DISCOPLAN have been shown to enable large performance gains in SAT planners, and they can also be helpful in planning domain development and debugging.

Full Text: PDF