Hybrid Propositional Encodings of Planning

Amol D. Mali, Arizona State University

Casting planning as propositional satisfiability has been recently shown to be a very promising technique of plan synthesis. Some challenges, one of which is the de- velopment of hybrid propositional encodings (that com- bine the important notions from the existing encodings) have also been posed to the community. The existing encodings are either entirely based only on the plan space planning (also known as "causal" or "least com- mitment" or "partial order" planning) or only on the state space planning. To answer this challenge, we have developed several hybrid encodings.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.