---
title: "An Inconsistency Tolerant Model for Belief Representation and Belief Revision"
authors:
  - "Samir Chopra"
  - "Rohit Parikh"
doi: ""
url: "https://ijcai.org/proceedings/1999/29"
pdf: "https://ijcai.org/proceedings/1999/0029.pdf"
venue: "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"
year: 1999
pages: "192-198"
track: "Automated Reasoning"
keywords:
---

# An Inconsistency Tolerant Model for Belief Representation and Belief Revision

Samir Chopra, Rohit Parikh

*Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence*, pages 192-198.

## Abstract

We propose a new model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief base revision are obtained.