Reasoning about Dynamics of Trust and Agent Beliefs

Many formal frameworks have been proposed for specifying and reasoning about the notion of trust and trust mechanisms in agent-based systems. Typed modal logic (TML) is a logic of beliefs which is suitable for the description of, and reasoning about, trust for multi-agent systems by formalising trust policies of the system and agent meta-beliefs in its security mechanisms. In this paper, by adopting the methodology of Finger and Gabbay for temporalising a logic system, we combine TML with a temporal logic, so that the users can also model evolving theories of trust. In the resulting logic, denoted by TML+, temporal properties of trust and agent beliefs can be expressed in a natural way by combinations of temporal and modal belief operators

[1]  D. Richard Kuhn,et al.  SP 800-32. Introduction to Public Key Technology and the Federal PKI Infrastructure , 2001 .

[2]  Philippe Smets.  Non-standard logics for automated reasoning , 1988 .

[3]  Chuchang Liu.  Logical Foundations for Reasoning about Trust in Secure Digital Communication , 2001, Australian Joint Conference on Artificial Intelligence.

[4]  Dov M. Gabbay,et al.  Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.

[5]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[6]  G. Elofson.  Developing Trust with Intelligent Agents: An Exploratory Study , 2001 .

[7]  Ji Ma,et al.  IEEE TRANSACTIONS ON SYSTEMS , MAN , AND CYBERNETICS — PART A : SYSTEMS AND HUMANS , 2006 .

[8]  Thomas Beth,et al.  Trust relationships in secure systems-a distributed authentication perspective , 1993, Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy.

[9]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[10]  Alessandro Facchini,et al.  Aspects of Universal Logic , 2004 .

[11]  Alexandre Costa Leite.  Towards a General Theory of the Combination of Logics , 2004 .

[12]  Michael Wooldridge,et al.  Coherent Social Action , 1994, ECAI.

[13]  P. Venkat Rangan,et al.  An axiomatic basis of trust in distributed systems , 1988, Proceedings. 1988 IEEE Symposium on Security and Privacy.

[14]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[15]  Mehmet A. Orgun,et al.  Verification of Reactive Systems Using Temporal Logic with Clocks , 1999, Theor. Comput. Sci..

[16]  Mehmet A. Orgun,et al.  A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems , 2004, ASIAN.