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.

[1]  Yao-Hua Tan,et al.  Formal aspects of a generic model of trust for electronic commerce , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[2]  L. Taylor.  Strategic Interaction , 1972 .

[3]  Joan Feigenbaum,et al.  Decentralized trust management , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.

[4]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[5]  Diego Gambetta.  Can We Trust Trust , 2000 .

[6]  Yao-Hua Tan,et al.  Trust and Deception in Virtual Societies , 2001, Springer Netherlands.

[7]  Marcus Kracht,et al.  Normal monomodal logics can simulate all others , 1999, Journal of Symbolic Logic.

[8]  Vladimiro Sassone,et al.  A formal model for trust in dynamic networks , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[9]  Dominique Longin,et al.  Belief Dynamics in Cooperative Dialogues , 2000, J. Semant..

[10]  Igor Walukiewicz,et al.  Automata for the Modal mu-Calculus and related Results , 1995, MFCS.

[11]  David I. Beaver,et al.  The Handbook of Logic and Language , 1997 .

[12]  Candace L. Sidner,et al.  Attention, Intentions, and the Structure of Discourse , 1986, CL.

[13]  Chrysanthos Dellarocas,et al.  The Digitization of Word-of-Mouth: Promise and Challenges of Online Feedback Mechanisms , 2003, Manag. Sci..

[14]  Dov M. Gabbay,et al.  Logic, Language, and Reasoning Essays in Honour of Dov Gabbay , 1999 .

[15]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[16]  J. H. Davis,et al.  An Integrative Model Of Organizational Trust , 1995 .

[17]  T. Gonen,et al.  Questions , 1927, Journal of Family Planning and Reproductive Health Care.

[18]  Theo Huibers,et al.  An axiomatic theory for information retrieval , 1996 .

[19]  Robert Demolombe,et al.  On Sentences of the Kind “Sentence ‘ P ’ is about Topic T ” , 1999 .

[20]  L. Toledo-Pereyra.  Trust , 2006, Mediation Behaviour.

[21]  A. Herzig,et al.  From Classical to Normal Modal Logics , 1996 .

[22]  Robert Demolombe.  To trust information sources: a proposal for a modal logical framework , 2001 .

[23]  Babak Sadighi Firozabadi,et al.  On the characterisation of a trusting agent - aspects of a formal approach , 2001 .

[24]  J. V. Kuppevelt.  Discourse structure, topicality and questioning , 1995, Journal of Linguistics.

[25]  Heinrich Wansing,et al.  Proof Theory of Modal Logic , 1996 .

[26]  Martín Abadi,et al.  A logic of authentication , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[27]  Petr Hájek,et al.  Mathematical Foundations of Computer Science 1995 , 1995, Lecture Notes in Computer Science.

[28]  Yao-Hua Tan,et al.  An outline of a trust model for electronic commerce , 2000, Appl. Artif. Intell..

[29]  J. Horty.  Agency and Deontic Logic , 2001 .

[30]  Churn-Jung Liau,et al.  Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation , 2003, Artif. Intell..