Two Representations for Iterative Non-prioritized Change

2002/07/09 by Alexander Bochman, Bochman, Alexander
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #cs.AI

paper · pdf · doi:10.48550/arxiv.cs/0207029

7 pages,Proceedings NMR'02, references added

arxiv created 2002/07/14 · arxiv updated 2009/11/30

Abstract

We address a general representation problem for belief change, and describe two interrelated representations for iterative non-prioritized change: a logical representation in terms of persistent epistemic states, and a constructive representation in terms of flocks of bases.

Related

• Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
• A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
• Iterated Belief Change, Computationally
• Representing states in iterated belief revision
• Bringing Belief Base Change into Dynamic Epistemic Logic