Solving Deductive Planning Problems Using Program Analysis and Transformation

Abstract Two general, problematic aspects of deductive planning, namely, detecting unsolvable planning problems and solving a certain kind of postdiction problem, are investigated. The work is based on a resource oriented approach to reasoning about actions and change using a logic programming paradigm. We show that ordinary resolution methods are insufficient for solving these problems and propose program analysis and transformation as a more promising and successful way to solve them.

Authors

• D. Andre de Waal
• Michael Thielscher

Keywords

No keywords are indexed for this paper.