The Knowledge Engineering Review
High-Level Perception as Focused Belief Revision
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Focused belief revision as a model of fallible relevance-sensitive perception
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Perception and change in update logic
Games, Actions and Social Software
| Hi-index | 0.00 |
We present a modal logic for reasoning about perception and belief, captured respectively by the operators P and B. The B operator is the standard belief operator used in recent years, and the P operator is similarly defined. The contribution of the paper is twofold. First, in terms of P we provide a definition of perceptual indistinguishability, such as arises out of limited visual acuity. The definition is concise, intuitive (we find), and avoids traditional paradoxes. Second, we explore the bimodal B--P system. We argue that the relationship between the two modalities varies among settings: The agent may or may not have confidence in its perception, may or may not be accurate in it, and so on. We therefore define a number of agent types corresponding to these various assumptions, and for each such agent type we provide a sound and complete axiomatization of the B--P system.