Abstract
There is no consensus about the definition of the concept of trust. In this paper formal definitions of different kinds of trust are given in the framework of modal logic. This framework also allows to define a logic for deriving consequences from a set of assumptions about trust.Trust is defined as a mental attitude of an agent with respect to some property held by another agent. These properties are systematically analysed and we propose 6 epistemic properties, 4 deontic properties and 1 dynamic property.
In the second part of the paper more flexible notions of trust are introduced: qualitative graded trust, trust defined in terms of topics and conditional trust.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to Duties. In: Gabbay, D. (ed.) Handbook of Philosophical Logic (Rev. Edition). Reidel (to appear)
Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)
Demolombe, R.: Validity Queries and Completeness Queries. In: Proc. of 9th International Symposium on Methodologies for Intelligent Systems (1996)
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, Kluwer Academic Publisher, Dordrecht (2001)
Demolombe, R., Jones, A.J.I.: On sentences of the kind “sentence “p” is about topic “t”: some steps toward a formal-logical analysis. In: Ohlbach, H.-J., Reyle, U. (eds.) Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Kluwer Academic Press, Dordrecht (1999)
Elofson, G.: Developping trust with intelligent agents: an explanatory study. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies, Kluwer Academic Publisher, Dordrecht (2001)
Falcone, R., Castelfranchi, C.: Social trust: a cognitive approach. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies, Kluwer Academic Publisher, Dordrecht (2001)
Jones, A.J.I.: A logical framework. In: Pitt, J. (ed.) The Open Agent Society, John Wiley and Sons, Chichester
Jones, A.J.I.: Communication and meaning: An essay in applied modal logic. Synthese Library. Reidel, Dordrecht (1983)
Jones, A.J.I.: On the concept of trust. Decision Support Systems 33 (2002)
Jones, A.J.I., Firozabadi, B.S.: On the characterisation of a trusting agent. Aspects of a formal approach. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies, Kluwer Academic Publisher, Dordrecht (2001)
Lerch, F.J., Prietula, M.J.: How do we trust machine advice. In: Third International Conference on Human-Computer Interaction (1989)
March, S.: Trust in distributed Artificial Intelligence. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS, vol. 830, Springer, Heidelberg (1994)
Oerbaek, P.: Can you Trust your data. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, Springer, Heidelberg (1995)
Thompson, K.: Reflections on Trusting Trust. Communications of ACM 27(18) (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R. (2004). Reasoning About Trust: A Formal Logical Framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds) Trust Management. iTrust 2004. Lecture Notes in Computer Science, vol 2995. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24747-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-24747-0_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21312-3
Online ISBN: 978-3-540-24747-0
eBook Packages: Springer Book Archive