Abstract
We offer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The semantics of such relations is analysed in view of rules that define the behaviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations.
Keywords
Trust Mis- and Distrust Information Transmission Expertise Secure System DesignNotes
Acknowledgments
The first author wishes to thank the participants to the Fifth Workshop on the Philosophy of Information held at the University of Hertfordshire where this paper was first presented, for useful comments and discussions. The second author wishes to thank Jan de Winter for comments on previous versions of the paper. Both authors would like to thank the reviewers for their comments that helped improve the manuscript.
References
- Abdul-Rahman A, Hailes S (1997) A distributed trust model. In: New security paradigms workshop. Cumbria, UK, pp 48–60Google Scholar
- Audi R (1997) The place of testimony in the fabric of justification and knowledge. Am Philos Q 34:405–422Google Scholar
- Beth T, Borcherding M, Klein B (1994) Valuation of trust in open networks. In: Proceedings of the third European symposium on research in computer security, ESORICS ’94. Springer, London, pp 3–18Google Scholar
- Borgs C, Chayes J, Kalai AT, Malekian A, Tennenholtz M (2010) A novel approach to propagating distrust. In: Proceedings of the 6th international conference on Internet and network economics, WINE’10. Springer, Berlin, pp 87–105Google Scholar
- Brewer S (1998) Scientific expert testimony and intellectual due process. Yale Law J 107(6):1535–1681CrossRefGoogle Scholar
- Castelfranchi C (2004) Trust mediation in knowledge management and sharing, volume 2995 of Lecture notes in computer science. Springer, Berlin, pp 304–318Google Scholar
- Chen R, Yeager W (2003) Poblano: a distributed trust model for peer-to-peer networks. Technical report. Sun Microsystems, Santa ClaraGoogle Scholar
- Christianson B, Harbison (1997) Why isn’t trust transitive? In: Security protocols 4, volume 1189 of Lecture notes in computer science. Springer, Berlin, pp 171–176Google Scholar
- Collins HM, Evans R (2002) The third wave of science studies: studies of expertise and experience. Soc Stud Sci 32(2):235–296CrossRefGoogle Scholar
- Dalton R (2001) Peers under pressure. Nature 413:102–110CrossRefGoogle Scholar
- Dastani M, Herzig A, Hulstijn J, Van Der Torre L (2004) Inferring trust. In: Proceedings of the fifth workshop on computational logic in multi-agent systems (CLIMA V), volume 3487 of Lecture notes in artificial intelligence. Springer, Berlin, pp 144–160Google Scholar
- Demolombe R (2004) Reasoning about trust: a formal logic framework, volume 2995 of Lecture notes in computer science. Springer, Berlin, pp 291–303Google Scholar
- De Winter J, Kosolosky L (2012) The epistemic integrity of scientific research. Sci Eng Ethics 19(3):1–18Google Scholar
- De Winter J, Kosolosky L (2013) The epistemic integrity of NASA practices in the space shuttle program. Account Res 20(2):72–92CrossRefGoogle Scholar
- Faulkner P (2012) The practical rationality of trust. Synthese 1–15. doi: 10.1007/s11229-012-0103-1
- Floridi L (2011) The philosophy of information. Oxford University Press, OxfordCrossRefGoogle Scholar
- Frances B (2005) Skepticism comes alive. Oxford University Press, Oxford CrossRefGoogle Scholar
- Gans G, Jarke M, Kethers S, Lakemeyer G May (2001) Modeling the impact of trust and distrust in agent networks. In: Proceedings of the third international bi-conference workshop on agent-oriented information systems. Montreal, CanadaGoogle Scholar
- Goldman A (2001) Experts: which ones should you trust? Philos Phenomenol Res 63(1):85–111CrossRefGoogle Scholar
- Guha R, Kumar R, Raghavan P, Tomkins A (2004) Propagation of trust and distrust. In: Proceedings of the 13th international conference on World Wide Web, WWW ’04. ACM, New York, pp 403–412Google Scholar
- Haack S (2004) Truth and justice, inquiry and advocacy, science and law. Ratio Iuris 17(1):15–26CrossRefGoogle Scholar
- Hardwig J (1991) The role of trust in knowledge. J Philos 88:693–708CrossRefGoogle Scholar
- Herzig A, Lorini E, Hübner JF, Vercouter L (2010) A logic of trust and reputation. Log J IGPL 18(1):214–244CrossRefGoogle Scholar
- Jespersen B, Primiero G (2013) Alleged assassins: realist and constructivist semantics for modal modification. In: Bezhanishvili G et al (Ed) TbiLLC 2011, volume 7758 of Lecture notes in computer science. Springer, BerlinGoogle Scholar
- Kamvar SD, Garcia-Molina H, Schlosser MT (2003) The eigentrust algorithm for reputation management in p2p networks. In: Proceedings of the 12th international conference on World Wide Web, WWW ’03. ACM, NewYork, pp 640–651Google Scholar
- Kosolosky L ‘Peer review is melting our glaciers’: exploring how and why the intergovernmental panel on climate change (ipcc) went astray. J General Philos Sci. Special Issue on Climate Change to appearGoogle Scholar
- Kramer S, Goré R, Okamoto E (2012) Computer-aided decision-making with trust relations and trust domains (cryptographic applications). J Log Comput. doi: 10.1093/logcom/exs013
- Leonelli S (2014) Data interpretation in the digital age. In: Perspective on Science. MIT Press (forthcoming)Google Scholar
- Lewis JD, Weigert AJ (1985) Trust as a social reality. Soc Forces 63:967–985CrossRefGoogle Scholar
- McKnight DH, Chervany NL (2000) Trust and distrust definitions: one bite at a time. In: Falcone R, Singh MP, Tan Y-H (eds) Trust in cyber-societies, integrating the human and artificial perspectives, volume 2246 of Lecture notes in computer science. Springer, berlin, pp 27–54Google Scholar
- Miller B (forthcoming) Scientific consensus and expert testimony in courts: lessons from the bendectin litigation. In: Froeyman A, Kosolosky L, van Bouwel J (eds) Foundations of science, special Issue on ‘science vs. society: social epistemology meets the philosophy of the humanitiesGoogle Scholar
- Primiero G (2012) A contextual type theory with judgemental modalities for reasoning from open assumptions. Logique Anal 220:579-600Google Scholar
- Primiero G (2013) A taxonomy of errors for information systems. Minds Machines. doi: 10.1007/s11023-013-9307-5
- Primiero G, Jespersen B (2010) Two kinds of procedural semantics for privative modification, volume 6284 of Lecture notes in artificial intelligence. Springer, Berlin, pp 252–271Google Scholar
- Primiero G, Taddeo M (2012) A modal type theory for formalizing trusted communications. J Appl Log 10:92–114CrossRefGoogle Scholar
- Rotter JB (1971) Generalized expectancies for interpersonal trust. Am Psychol 26:443–452CrossRefGoogle Scholar
- Shapiro SP (1987) The social control of impersonal trust. Am J Sociol 93(3):623–658CrossRefGoogle Scholar
- Simpson T (2012) What is trust. Pacif Philos Q 93(4):55–569Google Scholar
- Taddeo M (2010) An information-based solution for the puzzle of testimony and trust. Soc Epistemol 24(4):285–299CrossRefGoogle Scholar
- Taddeo M (2010) Modelling trust inartificial agents, a first step toward the analysis of e-Trust. Minds Machines 20(2):243–257CrossRefGoogle Scholar