Accommodative Belief Revision

Authors:
Satu Eloranta;Raul Hakli;Olli Niinivaara;Matti Nykänen
Affiliations:
Department of Computer Science, University of Helsinki, Finland FIN-00014;Department of Philosophy, University of Helsinki, Finland FIN-00014;Department of Computer Science, University of Helsinki, Finland FIN-00014;Department of Computer Science, University of Kuopio, Kuopio, Finland FIN-70211
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 9
Cited 0

Language features for flexible handling of exceptions in information systems

ACM Transactions on Database Systems (TODS)
Propositional knowledge base revision and minimal change

Artificial Intelligence
On the logic of iterated belief revision

Artificial Intelligence
Refinement: a tool to deal with inconsistencies

Proceedings of the 8th international conference on Artificial intelligence and law
Permissive Belief Revision

EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Weakening conflicting information for iterated revision and knowledge integration

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
On the logic of iterated belief revision

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
On integrity constraints

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
COBA 2.0: A Consistency-Based Belief Change System

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

Accommodative revision is a novel method of non-prioritized belief revision. The epistemic state of an agent contains both knowledge that is immune to revision and beliefs that are allowed to change. Incoming information is first revised by the knowledge of the agent, and then the epistemic state of the agent is revised using this modified input. The properties of the method are studied and examples of its use are given.