PDT Logic for Stream Reasoning in Multi-agent Systems

Karsten Martiny, Ralf Möller

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.
OriginalspracheEnglisch
Seiten35-46
Seitenumfang12
PublikationsstatusVeröffentlicht - 01.12.2014
Veranstaltungthe 6th International Symposium on Symbolic Computation in Software Science - Gammarth, Tunesien
Dauer: 07.12.201411.12.2014

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongressthe 6th International Symposium on Symbolic Computation in Software Science
KurztitelSCSS 2014
Land/GebietTunesien
OrtGammarth
Zeitraum07.12.1411.12.14

DFG-Fachsystematik

  • 4.43-01 Theoretische Informatik

Fingerprint

Untersuchen Sie die Forschungsthemen von „PDT Logic for Stream Reasoning in Multi-agent Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren