{"type":"ScholarlyArticle","title":"Qualitative Reasoning about Perception and Belief","authors":[{"name":"Alvaro del Val","slug":"alvaro-del-val","given":"Alvaro","family":"del Val","affiliation":""},{"name":"Pedrito Maynard-Reid II","slug":"pedrito-maynard-reid-ii","given":"Pedrito Maynard-Reid","family":"II","affiliation":""},{"name":"Yoav Shoham","slug":"yoav-shoham","given":"Yoav","family":"Shoham","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/75","pdf":"https://ijcai.org/proceedings/1997/0075.pdf","markdown":"https://ijcai.org/proceedings/1997/75.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/75","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Diagnosis and Qualitative Reasoning","track":"Diagnosis and Qualitative Reasoning","number":75,"pages":{"first":508,"last":512},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}