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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Tan, Y.H., Thoen, W.: Formal aspects of a generic model of trust for electronic commerce. In: 33rd Hawaii International Conference on System Sciences (HICSS 2000), p. 6006 (2000)
Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems – a modal formulation. Artificial Intelligence 149, 31–60 (2003)
Gasquet, O., Herzig, A.: From classical to normal modal logics. In: Wansing, H. (ed.) Proof Theory of Modal Logics. Applied Logic Series, vol. 2, pp. 293–311. Kluwer, Dordrecht (1996)
Kracht, M., Wolter, F.: Normal monomodal logics can simulate all others. Journal of Symbolic Logic 64, 99–138 (1999)
Goffman, E.: Strategic interaction. University of Pennsylvania Press, Pennsylvania (1969)
Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 111–124. Kluwer, Dordrecht (2001)
Demolombe, R., Jones, A.: On sentences of the kind “sentence ‘p’ is about topic t’. In: Logic, language and reasoning: Essays in Honour of Dov Gabbay, pp. 115–133. Kluwer Academic, Dordrecht (1999)
Herzig, A., Longin, D.: Belief dynamics in cooperative dialogues. Journal of Semantics 17, 91–118 (2000)
Janin, D., Walukiewicz, I.: Automata for the modal mu-calculus and related results. In: Hájek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol. 969, pp. 552–562. Springer, Heidelberg (1995)
Groenendijk, J., Stokhof, M.: Questions. In: Van Benthem, J., Ter Meulen, A. (eds.) Handbook of Logic and Language, North-Holland, pp. 1055–1124. Elsevier, Amsterdam (1996)
van Kuppevelt, J.: Discourse structure, topicality and questioning. Journal of Linguistics 31, 109–149 (1995)
Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
Tan, Y.H., Thoen, W.: An outline of a trust model for electronic commerce. Applied Artificial Intelligence 14, 849–862 (2000)
Mayer, R., Davis, J., Schoorman, F.: An integrative model of organizational trust. Academy of Management Review 20, 709–734 (1995)
Gambetta, D.: Can we trust trust? In: Trust, pp. 213–237. Basil Blackwell, New York (1988)
Grosz, B., Sidner, C.: Attentions, intentions and the structure of discourse. Computational Linguistics 12, 175–204 (1986)
Huibers, T.: An Axiomatic Theory for Information Retrieval. PhD thesis, Utrecht University (1996)
Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8, 18–36 (1990)
Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the Grid: Enabling scalable virtual organizations. International Journal of High Performance Computing Applications 15, 200–222 (2001)
Carbone, M., Nielsen, M., Sassone, V.: A formal model for trust in dynamic networks. In: International Conference on Software Engineering and Formal Methods (SEFM 2003), pp. 54–63. IEEE, Los Alamitos (2003)
Jones, A., Firozabadi, B.S.: On the characterisation of a trusting agent - aspects of a formal approach. In: Castelfranchi, C., Tan, Y. (eds.) Trust and Deception in Virtual Societies, pp. 157–168. Kluwer Academic Publishers, Dordrecht (2001)
Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: IEEE Symposium on Security and Privacy, pp. 164–173. IEEE, Los Alamitos (1996)
Dellarocas, C.: The digitization of word-of-mouth: Promise and challenges of online feedback mechanisms. Management Science 49, 1407–1424 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/11533092_9
Download citation
DOI: https://doi.org/10.1007/11533092_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28060-6
Online ISBN: 978-3-540-31857-6
eBook Packages: Computer ScienceComputer Science (R0)