Iterated Revision by Epistemic States: Axioms, Semantics and Syntax

Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set representation theorems and give two semantical representations of operators: by polynomials and by weighted belief bases. These representations will result to be equivalent.

• Type: Conference
• Year: 2000
• Where: ECAI
• Authors: Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez
• Keywords: Artificial Intelligence, ECAI 2000, Epistemic State, General Syntactical Notion, Weighted Belief Bases