Inferring Trust

  • Mehdi Dastani
  • Andreas Herzig
  • Joris Hulstijn
  • Leendert van der Torre
Conference paper

DOI: 10.1007/11533092_9

Volume 3487 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Dastani M., Herzig A., Hulstijn J., van der Torre L. (2005) Inferring Trust. In: Leite J., Torroni P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science, vol 3487. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mehdi Dastani
    • 1
  • Andreas Herzig
    • 2
  • Joris Hulstijn
    • 3
  • Leendert van der Torre
    • 4
  1. 1.Utrecht UniversityThe Netherlands
  2. 2.IRITToulouseFrance
  3. 3.Vrije UniversiteitAmsterdamThe Netherlands
  4. 4.CWIAmsterdamThe Netherlands