A Perspective on Trust , Security and Autonomous Systems

We argue that the advent of autonomous systems profoundly changes the nature of security arguments. Whereas security in socio-economic systems fundamentally relies on human beings to be the ultimate resolvers of trust decisions, this can no longer be the case for truly autonomous systems. In order to understand how to build such autonomous systems there is a need to create a logical theory of trust and trustworthiness. This paper attempts to provide a logical interpretation of some of the early sociological insights into the nature of trust and trustworthiness and sets out a preliminary framework for discussing reasoning about trust and trustworthiness.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Olaf Owe,et al.  Local Deduction of Trust , 2007 .

[3]  D. H. Mills.  The Logic and Limits of Trust , 1983 .

[4]  Florencio G. Asenjo,et al.  A calculus of antinomies , 1966, Notre Dame J. Formal Log..

[5]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[6]  Graham Priest,et al.  Minimally inconsistent LP , 1991, Stud Logica.

[7]  David Makinson,et al.  Bridges from classical to nonmonotonic logic , 2005, Texts in computing.

[8]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[9]  Olga Pacheco.  Normative Specification: A Tool for Trust and Security , 2005, Formal Aspects in Security and Trust.

[10]  N. Luhmann.  Trust and Power , 1979 .

[11]  Newton C. A. da Costa,et al.  A semantical analysis of the calculi Cn , 1977, Notre Dame J. Formal Log..

[12]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[13]  Emiliano Lorini,et al.  Trust and Norms in the Context of Computer Security: A Logical Formalization , 2008, DEON.

[14]  Robert Demolombe,et al.  Reasoning About Trust: A Formal Logical Framework , 2004, iTrust.

[15]  Chuchang Liu,et al.  Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques , 2002, Australian Joint Conference on Artificial Intelligence.

[16]  Bruce Christianson,et al.  Why Isn't Trust Transitive? , 1996, Security Protocols Workshop.

[17]  Nicholas Rescher,et al.  The Logic of Inconsistency: a study in nonstandard possible-world semantics and ontology , 1979 .

[18]  F. Knight.  The economic nature of the firm: From Risk, Uncertainty, and Profit , 2009 .

[19]  T. Abeles.  Moral Machines: Teaching Robots Right from Wrong , 2010 .

[20]  Seiki Akama,et al.  Nelson's paraconsistent logics , 2004 .

[21]  Jacek Malinowski.  Studia Logica. An International Journal for Symbolic Logic , 1953 .

[22]  S. Jaskowski.  A propositional calculus for inconsistent deductive systems , 2004 .

[23]  Norman L. Chervany,et al.  Trust and Distrust Definitions: One Bite at a Time , 2000, Trust in Cyber-societies.

[24]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

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

[26]  Mehdi Dastani,et al.  Inferring Trust , 2004, CLIMA.