Previous: AIDA-97-04 Next: AIDA-97-06 Index 1997


Intellectics Group: Technical Report 97-05

Let's Plan It Deductively

Wolfgang Bibel

The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the linear connection method proposed earlier by the author by embedding the latter into classical logic, so that classical and resource-sensitiv reasoning coexist within TL. The attraction of a logical and deductive approach to planning is emphasized and the state of automated deduction briefly described.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry