Proceedings:
Reasoning about Mental States - Formal Theories and Applications
Volume
Issue:
Reasoning about Mental States - Formal Theories and Applications
Track:
Contents
Downloads:
Abstract:
The aim of this paper is to challenge the pervasive notion of belief as a set of statements in a (modal) logic, divorced from the events of agency that generate them. Levesque (1984) points out that models of belief that have the property of logical omniscience are best thought of as models of what is implicit in an agent’s beliefs, rather than what the agent believes directly.
Spring
Reasoning about Mental States - Formal Theories and Applications