Proceedings:
Reasoning about Mental States - Formal Theories and Applications
Volume
Issue:
Reasoning about Mental States - Formal Theories and Applications
Track:
Contents
Downloads:
Abstract:
Cohen and Levesque ([CoL90a], [CoL90b]) propose logic of "rational actions" and give a possible-worlds model interpretation to the propositional attitudes of belief and goals, defining from these the notion of intention. In this paper, I will discuss various problems with this accont and propose augmenting their logic with modality, two predicates expressing the notions of "interest" (WISH) and "commitment to an action" (COMMITMENT), and a weak version of "plan"(DPLAN). The representation of "intentions" will be based upon a general theory of the relation between beliefs, desires and intentions.
Spring
Reasoning about Mental States - Formal Theories and Applications