A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic inference based on expectations
Artificial Intelligence
Studies in belief change
From Adams' conditionals to default expressions, causal conditionals, and counterfactuals
Probability and conditionals
Proceedings of the Workshop on The Logic of Theory Change
On the Logic of Theory Base Change
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
On the logic of iterated belief revision
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Determining explanations using transmutations
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Distributed knowledge revision/integration
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
A sequential reversible belief revision method based on polynomials
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Possibilistic Merging and Distance-Based Fusion of Propositional Information
Annals of Mathematics and Artificial Intelligence
Resolving Conflicting Information
Journal of Logic, Language and Information
Autonomous Agents and Multi-Agent Systems
A Practical Approach to Fusing Prioritized Knowledge Bases
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Convergency of Learning Process
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Social Choice, Merging, and Elections
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the Dynamics of Default Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
A consistency-based approach for belief change
Artificial Intelligence
The Knowledge Engineering Review
Belief revision: from theory to practice
The Knowledge Engineering Review
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Belief revision for adaptive information retrieval
Proceedings of the 27th annual international ACM SIGIR conference on Research and development in information retrieval
Context-sensitive text mining and belief revision for intelligent information retrieval on the web
Web Intelligence and Agent Systems
Artificial Intelligence - Special issue on nonmonotonic reasoning
Social choice theory, belief merging, and strategy-proofness
Information Fusion
Towards a belief-revision-based adaptive and context-sensitive information retrieval system
ACM Transactions on Information Systems (TOIS)
The measurement of ranks and the laws of iterated contraction
Artificial Intelligence
Reasoning with Prioritized Data by Aggregation of Distance Functions
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Belief Revision in a Fact-Rule Agent's Belief Base
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
An Analysis of Sum-Based Incommensurable Belief Base Merging
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
An egalitarist fusion of incommensurable ranked belief bases under constraints
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
On the compilation of stratified belief bases under linear and possibilistic logic policies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Determining explanations using transmutations
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Iterated belief revision, revised
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Implementing iterated belief change via prime implicates
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
A program-level approach to revising logic programs under the answer set semantics
Theory and Practice of Logic Programming
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Algorithms for possibility assessments: Coherence and extension
Fuzzy Sets and Systems
Belief revision with uncertain inputs in the possibilistic setting
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Resource-Bounded belief revision and contraction
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Approaches to measuring inconsistent information
Inconsistency Tolerance
Knowledge compilation for belief change
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Hi-index | 0.00 |
The AGM paradigm is a formal approach to ideal and rational information change From a practical perspective it suffers from two shortcomings, the first involves difficulties with respect to the finite representation of information, and the second involves the lack of support for the iteration of change operators. In this paper we show that these practical problems can be solved in theoretically satisfying ways wholely with in the AGM paradigm. We introduce a partial entrenchment ranking which serves as a canonical representation for a theory base and a well-ranked episterruc entrenchment, and we provide a computational model for adjusting partial entrenchment rankings when they receive new information using a procedure based on the principle of minimal change. The connection between the standard AGM theory change operators and the theory base change operators developed herein suggest that the proposed computational model for iterated theory base change exhibits desirable behaviour.