Artificial Intelligence
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
A logic for perception and belief
A logic for perception and belief
Dependency-directed reconsideration belief base optimization for truth maintenance systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Hi-index | 0.01 |
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception and other propositions that follow from it. Given the fallibility of perception, this may result in contradictory beliefs. Hence, we model high-level perception as belief revision. Adopting a classical AGM-style belief revision operator is problematic, since it implies that, as a result of perception, the agent will come to believe everything that follows from its new set of beliefs. We overcome this difficulty in two ways. First, we adopt a belief revision operator based on relevance logic, thus limiting the derived beliefs to those that relevantly follow from the new percept. Second, we focus belief revision on only a subset of the agent's set of beliefs--those that we take to be within the agent's current focus of attention.