An abductive event calculus planner

Murray Shanahan
2000 The Journal of Logic Programming  
In 1969 Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negligible gap between high-level logical speci®cation and practical implementation. This paper attempts to reinstate the ideal of planning via theorem proving in a modern guise. In particular, the paper shows that if we adopt the event calculus as our logical formalism and employ abductive logic programming as our theorem proving
more » ... que, then the computation performed mirrors closely that of a hand-coded partial-order planning algorithm. Soundness and completeness results for this logic programming implementation are given. Finally the paper shows that, if we extend the event calculus in a natural way to accommodate compound actions, then using the same abductive theorem proving techniques we can obtain a hierarchical planner. Ó
doi:10.1016/s0743-1066(99)00077-1 fatcat:pnkze2nr3zbcnab2mdzhgau73m