A sketch of a dynamic epistemic semiring

Solin, Kim (2010) A sketch of a dynamic epistemic semiring. Information and Computation, 208 5: 594-604. doi:10.1016/j.ic.2009.03.011

Author Solin, Kim
Title A sketch of a dynamic epistemic semiring
Journal name Information and Computation   Check publisher's open access policy
ISSN 0890-5401
Publication date 2010-05-01
Sub-type Article (original research)
DOI 10.1016/j.ic.2009.03.011
Open Access Status Not yet assessed
Volume 208
Issue 5
Start page 594
End page 604
Total pages 11
Place of publication Maryland Heights, MO, United States
Publisher Academic Press
Language eng
Subject 1710 Information Systems
1703 Computational Theory and Mathematics
2614 Theoretical Computer Science
1706 Computer Science Applications
Formatted 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.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 21 Mar 2014, 19:29:27 EST by Kim Solin on behalf of Scholarly Communication and Digitisation Service