Proceedings

Qualitative Reasoning about Perception and Belief

Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Diagnosis and Qualitative Reasoning. Pages 508-512.

Abstract

We prese nt a qualitative model for reasoning about perceptions , sensors, and belief, and a logic to reason about this model. Basic to our model is a distinction between precision and accuracy, for both of which we provide qualitative definitions. In our logic this distinction gives rise to two modal operators- ? for actual perception, and Cp for perceptual capability, which is captured as a set of possible percepts . Adding to these operators the standard B operator to model belief, we end up with a logic combining standard Kripke-style semantics with the almost-standard ' neighborhood semantics.' We define various agent types in the logic, from agents who believe all and only what the sensors tell them, to much more skeptical agents. We define each agent both axiomatically and model-theoretically, and provide soundness and completeness results relating the two types of definitions.

Alvaro del Val, Pedrito Maynard-Reid II, and Yoav Shoham. 1997. Qualitative Reasoning about Perception and Belief. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 508–512. https://ijcai.org/proceedings/1997/75
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards