OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Reasoning about Belief, Evidence and Trust in a Multi-Agent Setting

Liu, Fenrong and Lorini, Emiliano Reasoning about Belief, Evidence and Trust in a Multi-Agent Setting. (2017) In: 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), 30 October 2017 - 3 November 2017 (Nice, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
387kB

Official URL: https://doi.org/10.1007/978-3-319-69131-2_5

Abstract

We present a logic for reasoning about the interplay between belief, evidence and trust in a multi-agent setting. We call this logic DL-BET which stands for “Dynamic Logic of Belief, Evidence and Trust”. According to DL-BET, if the amount of evidence in support a given fact φ and the ratio of evidence in support of φ to the total amount of evidence in support of either φ or its negation are sufficient then, as a consequence, one should be willing to believe φ. We provide a sound and complete axiomatization for the logic and illustrate its expressive power with the aid of a concrete example.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 10621 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-69130-5 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-69131-2_5
HAL Id:hal-02319739
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Tsinghua University (CHINA)
Laboratory name:
Statistics:download
Deposited On:09 Oct 2019 12:34

Repository Staff Only: item control page