| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 426519 | Information and Computation | 2010 | 11 Pages |
Abstract
This paper proposes a semiring formulation for reasoning about an agent’s changing beliefs: a dynamic epistemic semiring (DES). A DES is a modal semiring extended with epistemic-action operators. The paper concentrates on the revision operator by proposing an axiomatisation, developing a basic calculus and deriving the classical AGM revision axioms in the algebra. Iterated action is also considered.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
