Proceedings:
Reasoning about Mental States - Formal Theories and Applications
Volume
Issue:
Reasoning about Mental States - Formal Theories and Applications
Track:
Contents
Downloads:
Abstract:
From the very beginning, logicians have counted practical (or action-oriented) reasoning as well as theoretical (or belief-oriented) reasoning as part of their subject. However, despite a tradition that continues to the present, logicians have not produced formalisms that could be considered of any use in designing an agent that needs to act intelligently, or in helping an intelligent agent to evaluate its reasoning about action. In contrast, the decision-theoretic paradigm that grew out of the economic tradition is widely applied in many areas, including AI, and has dominated recent philosophical thinking about practical reasoning, without serious competition from the logical tradition.
Spring
Reasoning about Mental States - Formal Theories and Applications