The Formalization of Practical Reasoning: Problems and Prospects.

Deontic logic, as traditionally conceived, provides only a deductive theory that constrains the states or possible worlds within which an agent should try to remain. As such, it only encompasses a small part of practical reasoning, which in general is concerned with selecting, committing to, and executing plans. In this article I try to frame the general challenge that is presented to logical theory by the problem of formalizing practical reasoning, and to survey the existing resources that might contribute to the development of such a formalization. I conclude that, while a robust, adequate logic of practical reasoning is not yet in place, the materials for developing such a logic are now available.

Authors

• Richmond H. Thomason

Keywords

• Formal Practical Reasoning
• Imperative Inference
• Agent Architecture
• Desires
• Intentions