---
title: "Qualitative Reasoning about Perception and Belief"
authors:
  - "Alvaro del Val"
  - "Pedrito Maynard-Reid II"
  - "Yoav Shoham"
doi: ""
url: "https://ijcai.org/proceedings/1997/75"
pdf: "https://ijcai.org/proceedings/1997/0075.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "508-512"
track: "Diagnosis and Qualitative Reasoning"
keywords:
---

# Qualitative Reasoning about Perception and Belief

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

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, 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.
