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.
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART |
Seitenumfang | 8 |
Band | 2 |
Herausgeber (Verlag) | SciTePress |
Erscheinungsdatum | 01.01.2015 |
Seiten | 277-284 |
ISBN (Print) | 978-989-758-074-1 |
DOIs | |
Publikationsstatus | Veröffentlicht - 01.01.2015 |
Veranstaltung | 7th International Conference on Agents and Artificial Intelligence - Lisbon, Portugal Dauer: 10.01.2015 → 12.01.2015 Konferenznummer: 112667 |
DFG-Fachsystematik
- 4.43-01 Theoretische Informatik