Dynamic belief revision operators
From MaRDI portal
Publication:814462
DOI10.1016/S0004-3702(03)00017-1zbMath1082.03503OpenAlexW2004393085MaRDI QIDQ814462
Maurice Pagnucco, Abhaya C. Nayak, Pavlos Peppas
Publication date: 7 February 2006
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(03)00017-1
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items
Inter-definability of Horn contraction and Horn revision, Considerations on Belief Revision in an Action Theory, The irreducibility of iterated to single revision, Belief revision and projection in the epistemic situation calculus, On the logic of theory change iteration of KM-update, Mixed Iterated Revisions: Rationale, Algorithms, and Complexity, Equilibria in social belief removal, Elementary belief revision operators, Parallel belief revision: revising by sets of formulas, Bounded revision: two-dimensional belief change between conservative and moderate revision, Conditional ranking revision. Iterated revision with sets of conditionals, Belief change in branching time: AGM-consistency and iterated revision, Revising beliefs on the basis of evidence, On the Dynamics of Total Preorders: Revising Abstract Interval Orders, A framework for managing uncertain inputs: an axiomization of rewarding, Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision, Belief base change as priority change: a study based on dynamic epistemic logic, Temporal interaction of information and belief, Logic-Based Fusion of Complex Epistemic States, AGM 25 years. Twenty-five years of research in belief change, How to revise a total preorder, Economics and Economy in the Theory of Belief Revision (Preliminary Report), Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators, Dynamic preference logic meets iterated belief change: representation results and postulates characterization, From iterated revision to iterated contraction: extending the Harper identity, Bayesian belief revision based on Agent's criteria, Remedial interchange, contrary-to-duty obligation and commutation, Unnamed Item, Iterated belief revision, revised, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Iterated belief change and the recovery axiom, Kinetic Consistency and Relevance in Belief Revision, Maintenance of datalog materialisations revisited, Belief base contraction by belief accrual, On strengthening the logic of iterated belief revision: proper ordinal interval operators, A Panorama of Iterated Revision, A belief revision framework for revising epistemic states with partial epistemic states, Revision by comparison
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two modellings for theory change
- Nonmonotonic reasoning, preferential models and cumulative logics
- Nonmonotonic inference based on expectations
- On the logic of iterated belief revision
- Coherence and conservatism in the dynamics of belief. I: Finding the right framework
- Constructive modelings for theory change
- Iterated revision and minimal change of conditional beliefs
- A textbook of belief dynamics. Theory change and database updating
- On the logic of theory change: Partial meet contraction and revision functions
- The lexicographic closure as a revision process
