A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An abductive event calculus planner
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
doi:10.1016/s0743-1066(99)00077-1
fatcat:pnkze2nr3zbcnab2mdzhgau73m