Artificial Intelligence
Theoretical foundations for belief revision
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Towards a belief-revision-based adaptive and context-sensitive information retrieval system
ACM Transactions on Information Systems (TOIS)
Mixing Legal and Non-legal Norms
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Mutual belief revision: semantics and computation
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
An ordinal bargaining solution with fixed-point property
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A unified view of propositional knowledge base updates
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A representationalist theory of intention
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Connections between the ATMS and AGM belief revision
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reasoning about persistence: a theory of actions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Representation theorems for multiple belief changes
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
An inconsistency tolerant model for belief representation and belief revision
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Determining explanations using transmutations
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Iterated belief revision, revised
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Inverse resolution as belief change
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated theory base change: a computational model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Forwarding Credible Information in Multi-agent Systems
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Implementing iterated belief change via prime implicates
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Plausibility measures and default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Horn contraction via epistemic entrenchment
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A Structuralist Theory of Belief Revision
Journal of Logic, Language and Information
Review: on the evolving relation between belief revision and argumentation
The Knowledge Engineering Review
Norm-system revision: theory and application
Artificial Intelligence and Law
NO Revision and NO Contraction
Minds and Machines
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Numerical representations of acceptance
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Possibility and necessity functions over non-classical logic
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Lattice-based graded logic: a multimodal approach
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?"
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
A computational approach for belief change
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Belief revision of product-based causal possibilistic networks
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
A classification of ontology modification
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Associations between constructive models for set contraction
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Logical properties of belief-revision-based bargaining solution
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Knowledge compilation for belief change
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Is revision a special kind of update?
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Transitively relational partial meet horn contraction
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Socio-cognitive mechanisms of belief change
Cognitive Systems Research
Credibility of Information for Modelling Belief State and Its Change
Fundamenta Informaticae
A framework for empirical evaluation of belief change operators
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Definability of horn revision from horn contraction
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
Horn clause contraction functions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
A major problem for knowledge representation is how to revise a knowledge system in the light of new information that is inconsistent with what is already in the system. Another related problem is that of contractions, where some of the information in the knowledge system is taken away. Here, the problems of modelling revisions and contractions are attacked in two ways. First, two sets of rationality postulates or integrity constraints are presented, one for revisions and one for contractions. On the basis of these postulates it is shown that there is a natural correspondence between revisions and contractions. Second, a more constructive approach is adopted based on the "epistemic entrenchment" of the facts in a knowledge system which determines their priority in revisions and contractions. We introduce a set of computationally tractable constraints for an ordering of epistemic entrenchments. The key result is a representation theorem which says that a revision method for a knowledge system satisfies the set of rationality postulates, if and only if, there exists an ordering of epistemic entrenchment satisfying the appropriate constraints such that this ordering determines the retraction priority of the facts of the knowledge system. We also prove that the amount of information needed to uniquely determine the required ordering is linear in the number of atomic facts of the knowledge system.