An Inconsistency Tolerant Model for Belief Representation and Belief Revision
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.
Cite
Text
Chopra and Parikh. "An Inconsistency Tolerant Model for Belief Representation and Belief Revision." International Joint Conference on Artificial Intelligence, 1999.Markdown
[Chopra and Parikh. "An Inconsistency Tolerant Model for Belief Representation and Belief Revision." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/chopra1999ijcai-inconsistency/)BibTeX
@inproceedings{chopra1999ijcai-inconsistency,
title = {{An Inconsistency Tolerant Model for Belief Representation and Belief Revision}},
author = {Chopra, Samir and Parikh, Rohit},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1999},
pages = {192-199},
url = {https://mlanthology.org/ijcai/1999/chopra1999ijcai-inconsistency/}
}