Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract)
JELIA '90 Proceedings of the European Workshop on Logics in AI
Relations between the logic of theory change and nonmonotonic logic
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
Belief revision with unreliable observations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Journal of Logic, Language and Information
Infobase Change: A First Approximation
Journal of Logic, Language and Information
Belief Fusion: Aggregating Pedigreed Belief States
Journal of Logic, Language and Information
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
A Framework for Splitting BDI Agents
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Convergency of Learning Process
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Conditional Logic for Belief Revision
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Considerations on Updates of Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Filtering vs Revision and Update: Let Us Debate!
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Some Operators for Iterated Revision
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
Dynamic belief revision operators
Artificial Intelligence
Belief liberation (and retraction)
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
A consistency-based approach for belief change
Artificial Intelligence
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
The Knowledge Engineering Review
Belief revision: from theory to practice
The Knowledge Engineering Review
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Changing conditional beliefs unconditionally
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Distance semantics for belief revision
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Weak AGM postulates and strong Ramsey Test: a logical formalization
Artificial Intelligence
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Iterated belief revision, revised
Artificial Intelligence
The measurement of ranks and the laws of iterated contraction
Artificial Intelligence
Compiling the Lexicographic Inference Using Boolean Cardinality Constraints
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Representing and aggregating conflicting beliefs
Journal of Artificial Intelligence Research
Ordinal and probabilistic representations of acceptance
Journal of Artificial Intelligence Research
Admissible and restrained revision
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
An inconsistency tolerant model for belief representation and belief revision
IJCAI'99 Proceedings of the 16th 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
Revision of partially ordered information: axiomatization, semantics and iteration
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reconstructing an agent's epistemic state from observations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated belief revision, revised
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Weak AGM postulates and strong Ramsey Test: A logical formalization
Artificial Intelligence
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Iterated belief change due to actions and observations
Journal of Artificial Intelligence Research
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
A qualitative Markov assumption and its implications for belief change
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Introduction to inconsistency tolerance
Inconsistency Tolerance
Acceptance, conditionals, and belief revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
On the logic of iterated non-prioritised revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
| Hi-index | 0.00 |
This paper studies properties of iterated revisions. First rationality result shows that in the AGM original framework the only revision operation that satisfies two resonable properties is the trivial revision. Then an altenative to the AGM framework for studying belief revision and probability postulates is proposed Iterated revisions are the objects of this formalism and the rationality postulates deal with properties of iterated revisions. A set of rationality postulates is presented closely related to the AGM postulates. A representation result shows that those postulate simply serious limitations to the way revisions cell dope with the Principle of Minimal change. Those postulates are not suitable for belief update but then consideration raises doubts about the adequacy of previous treatments of belief implate.