• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Dynamic Epistemic Semirings

Kim Solin, Dynamic Epistemic Semirings . 2006-17, 2006.

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 a revision operator. The revision operator is given a relational interpretation and a basic calculus is developed -- based on the revision operator a contraction operator is also defined. A DES only models actions on an agent's beliefs, whereas the real dynamic epistemic semiringsalso introduced in this paper facilitate actions on the world as well. To allow for iterated action both structures are extended with the Kleene star.

BibTeX entry:

@TECHREPORT{tSolin06b,
  title = {Dynamic Epistemic Semirings },
  author = {Solin, Kim},
  number = {2006-17},
  year = {2006},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Edit publication