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

Karsten Martiny; Ralf Möller

doi:10.5220/0005178802770284

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

Institute of Information Systems

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.

Original language	English
Title of host publication	Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
Number of pages	8
Volume	2
Publisher	SciTePress
Publication date	01.01.2015
Pages	277-284
ISBN (Print)	978-989-758-074-1
DOIs	https://doi.org/10.5220/0005178802770284
Publication status	Published - 01.01.2015
Event	7th International Conference on Agents and Artificial Intelligence - Lisbon, Portugal Duration: 10.01.2015 → 12.01.2015 Conference number: 112667

DFG Research Classification Scheme

409-01 Theoretical Computer Science

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.5220/0005178802770284

https://www.ifis.uni-luebeck.de/uploads/tx_wapublications/pdt_public_01.pdf

Cite this

Martiny, K., & 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 (Vol. 2, pp. 277-284). ( International Conference on Agents and Artificial Intelligence). SciTePress. https://doi.org/10.5220/0005178802770284

@inproceedings{e60ca3dc0a024bae951d195a80a1c58c,

title = "A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems",

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.",

author = "Karsten Martiny and Ralf M{\"o}ller",

year = "2015",

month = jan,

day = "1",

doi = "10.5220/0005178802770284",

language = "English",

isbn = "978-989-758-074-1",

volume = "2",

series = " International Conference on Agents and Artificial Intelligence",

publisher = "SciTePress",

pages = "277--284",

booktitle = "Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART",

note = "7th International Conference on Agents and Artificial Intelligence <br/>, ICAART 2015 ; Conference date: 10-01-2015 Through 12-01-2015",

}

Martiny, K & 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. vol. 2, International Conference on Agents and Artificial Intelligence, SciTePress, pp. 277-284, 7th International Conference on Agents and Artificial Intelligence
, Lisbon, Portugal, 10.01.15. https://doi.org/10.5220/0005178802770284

A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems. / Martiny, Karsten; Möller, Ralf.
Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. Vol. 2 SciTePress, 2015. p. 277-284 ( International Conference on Agents and Artificial Intelligence).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

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

AU - Martiny, Karsten

AU - Möller, Ralf

N1 - Conference code: 112667

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84943228116&origin=inward&txGid=75505fbeefc34e8caec09423048baae2

U2 - 10.5220/0005178802770284

DO - 10.5220/0005178802770284

M3 - Conference contribution

SN - 978-989-758-074-1

VL - 2

T3 - International Conference on Agents and Artificial Intelligence

SP - 277

EP - 284

BT - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART

PB - SciTePress

T2 - 7th International Conference on Agents and Artificial Intelligence <br/>

Y2 - 10 January 2015 through 12 January 2015

ER -

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

Abstract

DFG Research Classification Scheme

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this