Inferring trust (CLIMA 2005)

Mehdi Dastani (1) , Andreas Herzig (2, 3) , Joris Hulstijn (4) , Leendert W. N. van Der Torre (5)

1 Universiteit Utrecht
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique
4 TU Delft - Delft University of Technology
5 University of Luxembourg [Luxembourg]

In this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which captures the use of trust to infer beliefs from inform actions. However, the logic does not capture the derivation of trust from other notions. We therefore suggest the following two extensions. First, like Liau we observe that trust in information depends on the topic of the information and the competence of the agent providing it. We extend BIT with a formalization of topics, that explains some of the properties of trust. Topics are then used to infer trust in a proposition from trust in another proposition, if both propositions refer to the same topic. Second, for many applications, communicative acts other than inform are required. We extend BIT with question acts, and discuss their trust relationships. Answers to questions can also lead to trust, when the answers conforms to the beliefs of the agent.

Domaines: Intelligence artificielle [cs.AI]

Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van Der Torre. Inferring trust (CLIMA 2005). Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2005), Sep 2005, Lisbon, Portugal. pp.144-160. ⟨hal-03519766⟩