Previous: TR 93-13 Next: TR 93-18


Intellektik: Technical report 93-17

Towards Efficient Calculi for Resource-Oriented Deductive Planning

Stefan Brüning

Recently, three new deductive approaches for solving planning problems were proposed. These are based on the linear connection method, an equational Horn logic, and a fragment of linear logic. Their key idea is to treat facts about situations as resources which can be consumed and produced by actions. It was shown that the approaches are essentially equivalent.

An important advantage of deductive approaches is the possibility to exploit powerful proof methods and techniques to reduce the search space developed in the field of automated deduction. The aim of this paper is to adapt such techniques to build efficient resource-oriented planning systems.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry