Reasoning About Belief, Evidence and Trust in a Multi-agent Setting

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.