Reasoning About Trust: A Formal Logical Framework

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.

[1]  F. Javier Lerch,et al.  How do we trust machine advice , 1989 .

[2]  Mogens Nielsen,et al.  TAPSOFT '95: Theory and Practice of Software Development , 1995, Lecture Notes in Computer Science.

[3]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[4]  Moshe Tennenholtz,et al.  Artificial Social Systems , 1992, Lecture Notes in Computer Science.

[5]  Ken Thompson,et al.  Reflections on trusting trust , 1984, CACM.

[6]  Andrew J. I. Jones.  On the concept of trust , 2002, Decis. Support Syst..

[7]  Uwe Reyle,et al.  Logic, Language and Reasoning , 1999 .

[8]  Peter Ørbæk.  Can you Trust your Data , 1995 .

[9]  Andrew J. I. Jones.  Communication and Meaning: An Essay in Applied Modal Logic , 1983 .

[10]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[11]  Robert Demolombe,et al.  Validity Queries and Completeness Queries , 1996, ISMIS.

[12]  Andrew J. I. Jones,et al.  Communication and Meaning , 1983 .

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

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

[15]  Sue Nancholas,et al.  A Logical Framework , 1998 .

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

[17]  C. Castelfranchi,et al.  Social Trust : A Cognitive Approach , 2000 .

[18]  Stephen Marsh,et al.  Trust in Distributed Artificial Intelligence , 1992, MAAMAW.