A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems

Karsten Martiny, Ralf Möller

Abstract

We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their evolution in multi-agent systems. It can quantify beliefs through probability intervals and incorporates the concepts of frequency functions and epistemic actions. We provide an appropriate semantics for PDT and show how agents can update their beliefs with respect to their observations.
OriginalspracheEnglisch
TitelProceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
Seitenumfang8
Band2
Herausgeber (Verlag)SciTePress
Erscheinungsdatum01.01.2015
Seiten277-284
ISBN (Print)978-989-758-074-1
DOIs
PublikationsstatusVeröffentlicht - 01.01.2015
Veranstaltung7th International Conference on Agents and Artificial Intelligence
- Lisbon, Portugal
Dauer: 10.01.201512.01.2015
Konferenznummer: 112667

DFG-Fachsystematik

  • 4.43-01 Theoretische Informatik

Fingerprint

Untersuchen Sie die Forschungsthemen von „A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren