Inferring Trust

In this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which captures the use of trust to infer beliefs from acquired information. 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 from an agent depends on the topic of the information. We extend BIT with a formalization of topics which are used to infer trust in a proposition from trust in another proposition, if both propositions have the same topics. Second, for many applications, communication primitives other than inform are required. We extend BIT with questions, and discuss the relationship with belief, inform and trust. An answer to a question can lead to trust, when the answer conforms to the beliefs of the agent.

• Type: Conference
• Year: 2004
• Where: CLIMA
• Authors: Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre
• Keywords: CLIMA 2004, CLIMA 2007, Infer, Liau's Logic, Trust