Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Reasoning with qualitative probabilities can be tractable
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Normative, Subjunctive and Autoepistemic Defaults
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
Sequences of Revisions: On the Semantics of Nested Conditionals
Sequences of Revisions: On the Semantics of Nested Conditionals
Conditional Logics for Default Reasoning and Belief Revision
Conditional Logics for Default Reasoning and Belief Revision
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
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
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
Some Operators for Iterated Revision
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
The complexity of theory revision
Artificial Intelligence
Two Approaches to Iterated Belief Contraction
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule
Fundamenta Informaticae - Methodologies for Intelligent Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Revision by conditional beliefs
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Conditioning by minimizing accessibility
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Iterated belief change in the situation calculus
Artificial Intelligence
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
Belief revision with uncertain inputs in the possibilistic setting
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
The probability of a possibility: adding uncertainty to default rules
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Jeffrey's rule of conditioning in a possibilistic framework
Annals of Mathematics and Artificial Intelligence
A computational approach for belief change
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
Revision over partial pre-orders: a postulational study
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Syntactic computation of hybrid possibilistic conditioning under uncertain inputs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Studia Logica
Hi-index | 0.00 |
The truth conditions for conditional sentences have been well-studied, but few compelling attempts have been made to define means of evaluating iterated or nested conditionals. In particular, most approaches impose very few constraints on the set of conditionals an agent can hold after revision of its belief set. In this paper we describe the method of natural revision that ensures the preservation of conditional beliefs after revision by an objective belief. Our model, based on a simple modal logic for beliefs and conditionals, extends the AGM theory of belief revision to account for sentences of objective revisions of a belief set. This model of revision ensures that an agent makes as few changes as possible to the conditional component of its belief set. Adopting the Ramsey test, natural revision provides truth conditions for arbitrary right-nested conditionals. We show that the problem of determining acceptance of any such nested conditional can be reduced to acceptance tests for unnested conditionals, indicating that iterated revision can be simulated by virtual updates. We also briefly describe certain reductions to (sometimes tractable) propositional inference, and other informational properties.