An Inconsistency Tolerant Model for Belief Representation and Belief Revision
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.
@inproceedings{ijcai1999p29,
title = {An Inconsistency Tolerant Model for Belief Representation and Belief Revision},
author = {Chopra, Samir and Parikh, Rohit},
booktitle = {Proceedings of the Sixteenth International Joint Conference on
Artificial Intelligence, {IJCAI-99}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Thomas Dean},
pages = {192--198},
year = {1999},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1999/29},
}
TY - CPAPER TI - An Inconsistency Tolerant Model for Belief Representation and Belief Revision AU - Chopra, Samir AU - Parikh, Rohit T2 - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99 PB - International Joint Conferences on Artificial Intelligence PY - 1999 SP - 192 EP - 198 UR - https://ijcai.org/proceedings/1999/29 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
