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

Karsten Martiny, Ralf Möller

2015

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.

Paper Citation

in Harvard Style

Martiny K. and Möller R. (2015). A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 277-284. DOI: 10.5220/0005178802770284

in Bibtex Style

@conference{icaart15,
author={Karsten Martiny and Ralf Möller},
title={A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={277-284},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005178802770284},
isbn={978-989-758-074-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
SN - 978-989-758-074-1
AU - Martiny K.
AU - Möller R.
PY - 2015
SP - 277
EP - 284
DO - 10.5220/0005178802770284