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

A Sketch of a Dynamic Epistemic Semiring

Kim Solin, A Sketch of a Dynamic Epistemic Semiring. In: Ruy J. G. B. de Queiroz Daniel Leivant (Ed.), Logic, Language, Information and Computation, 14th International Workshop, LNCS 4576, 337-350, Springer, 2007.

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.

BibTeX entry:

@INPROCEEDINGS{inpSolin07a,
  title = {A Sketch of a Dynamic Epistemic Semiring},
  booktitle = {Logic, Language, Information and Computation, 14th International Workshop},
  author = {Solin, Kim},
  volume = {4576},
  series = {LNCS},
  editor = {Daniel Leivant, Ruy J. G. B. de Queiroz},
  publisher = {Springer},
  pages = {337-350},
  year = {2007},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Edit publication