Download PDFOpen PDF in browser

PDT Logic for Stream Reasoning in Multi-agent Systems

12 pagesPublished: December 4, 2014

Abstract

We present Probabilistic Doxastic Temporal (PDT) Logic for streams, a formalism to reason about
probabilistic beliefs and their infinite temporal evolution in multi-agent systems. Extending previous
work on PDT Logic, this formalism builds on a Markov chain model to represent infinite streams
of possible worlds. Within these streams, it enables the quantification of beliefs through probability
intervals as well as the representation of temporal relations and epistemic actions. We show how
agents can update their beliefs with respect to their observations, provide a model for infinite streams of possible worlds and show how we can map clippings of these streams to finite time windows.
Based on these time windows, we introduce an adoption of the semantics of PDT Logic for finite
time frames, and show how this provides a means to overcome the limitation of finite time domains.

Keyphrases: doxastic logic, epistemic logic, probabilistic logic, stream reasoning, temporal logic

In: Temur Kutsia and Andrei Voronkov (editors). SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science, vol 30, pages 35-46.

BibTeX entry
@inproceedings{SCSS2014:PDT_Logic_Stream_Reasoning,
  author    = {Karsten Martiny and Ralf Moeller},
  title     = {PDT Logic for Stream Reasoning in Multi-agent Systems},
  booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
  editor    = {Temur Kutsia and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {30},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6nC},
  doi       = {10.29007/ttzg},
  pages     = {35-46},
  year      = {2014}}
Download PDFOpen PDF in browser