The society of mind
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
A logical notion of conditional independence: properties and applications
Artificial Intelligence - Special issue on relevance
Propositional belief base update and minimal change
Artificial Intelligence
Beliefs, belief revision, and splitting languages
Logic, language and computation, vol. 2
Revisions of Knowledge Systems Using Epistemic Entrenchment
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
An Inconsistency Tolerant Model for Belief Representation and Belief Revision
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Belief revision in a framework for default reasoning
Proceedings of the Workshop on The Logic of Theory Change
On the logic of iterated belief revision
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A New Framework for Local Belief Revision
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Semantics for Containment Belief Revision in the Case of Consistent Complete Theories
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Distance-Based Semantics for C-Structure Belief Revision
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Algorithms and application in decision-making for the finest splitting of a set of formulae
Knowledge-Based Systems
Maximal invariable update operator based on splitting
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Introducing relevance awareness in BDI agents
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Finite Contractions on Infinite Belief Sets
Studia Logica
Hi-index | 0.00 |
We propose a new relevance sensitive 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.