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

Fenrong Liu (1) , Emiliano Lorini (2, 3)

1 THU - Tsinghua University [Beijing]
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: Multi-agent systems; Belief; Evidence; Trust

Domaines: Logique en informatique [cs.LO]; Système multi-agents [cs.MA]

Fenrong Liu, Emiliano Lorini. Reasoning about Belief, Evidence and Trust in a Multi-Agent Setting. 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.71-89. ⟨hal-02319739⟩