Let's Plan It Deductively!

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 emphasised and the state of automated deduction briefly described.

• Type: Conference
• Year: 1997
• Where: IJCAI
• Authors: Wolfgang Bibel
• Keywords: Deductive Formalism, IJCAI 1997, IJCAI 2007, Resource-sensitiv Reasoning Coexist, Various Important Aspects