---
title: "Let's Plan It Deductively!"
authors:
  - "Wolfgang Bibel"
doi: ""
url: "https://ijcai.org/proceedings/1997/228"
pdf: "https://ijcai.org/proceedings/1997/0228.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "1549-1561"
track: "Invited Speakers"
keywords:
---

# Let's Plan It Deductively!

Wolfgang Bibel

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 1549-1561.

## Abstract

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.