Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic

Karsten Martiny, Ralf Möller

Abstract

We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents' beliefs through probability intervals and incorporates an explicit notion of time. In this work, we give an overview of recent contributions on PDT Logic. After describing the syntax and semantics of this formalism, we show that two alternative representation forms are available to model problems in PDT Logic. Furthermore, we outline how abductive reasoning can be performed in PDT Logic and how this formalism can be extended to infinite time frames.
OriginalspracheEnglisch
ZeitschriftKI - Künstliche Intelligenz
Jahrgang31
Ausgabenummer1
Seiten (von - bis)1-9
Seitenumfang9
ISSN1610-1987
DOIs
PublikationsstatusVeröffentlicht - 13.10.2016

DFG-Fachsystematik

  • 409-01 Theoretische Informatik

Fingerprint

Untersuchen Sie die Forschungsthemen von „Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren