Back to Search
Start Over
A sketch of a dynamic epistemic semiring
- Source :
-
Information & Computation . May2010, Vol. 208 Issue 5, p594-604. 11p. - Publication Year :
- 2010
-
Abstract
- 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. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 208
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 48380693
- Full Text :
- https://doi.org/10.1016/j.ic.2009.03.011