Trust in LORA: Towards a Formal Definition of Trust in BDI Agents

  • Bevan Jarvis
  • Lakhmi Jain
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4252)


Trust plays a fundamental role in multi-agent systems in which tasks are delegated or agents must rely on others to perform actions that they themselves cannot do. Dating from the mid-1980s, the Belief-Desire-Intention architecture (BDI) is the longest-standing model of intelligent agency used in multi-agent systems. Part of the attraction of BDI is that it is amenable to logical formalisms such as Wooldridge’s Logic Of Rational Agents (LORA). In a previous paper the present authors introduced a model of trust, here named the Ability-Belief-Commitment-Desire (ABCD) model, that could be implemented within the BDI framework. This paper explores the definition of the ABCD model within the LORA formalism.


Modal Logic Intelligent Agent Dynamic Logic Agent Architecture Linear Time Temporal Logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    AOS: JACK Intelligent Agents: JACK Manual, Release 5.0, Agent Oriented Software, Pty Ltd (2005) Google Scholar
  2. 2.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)MATHGoogle Scholar
  3. 3.
    Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)Google Scholar
  4. 4.
    Broersen, J., Dastani, M., Huang, Z., van der Torre, L.: Trust and Commitment in Dynamic Logic. In: Shafazand, H., Tjoa, A.M. (eds.) EurAsia-ICT 2002. LNCS, vol. 2510, Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–256 (1990)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Dignum, F., Kinny, D., Sonenburg, L.: From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly 2(3-4), 407–430 (2002)Google Scholar
  7. 7.
    d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: ’A Formal Specification of dMARS’. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, Springer, Heidelberg (1998)Google Scholar
  8. 8.
    Emerson, E.A., Halpern, Y.: Sometimes and not ever revisited: on branching time versus linear time temporal logic. Journal of the ACM 33(1), 151–178 (1986)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Georgeff, M.P., Lansky, A.L.: Procedural Knowledge. In: Proceedings of the IEEE, vol. 74, pp. 1383–1398 (1986)Google Scholar
  10. 10.
    Girle, R.A.: Modal Logics and Philosophy, Acumen (2000)Google Scholar
  11. 11.
    Hodgson, A., Rönnquist, R., Busetta, P.: Specification of Coordinated Agent Behavior (The SimpleTeam Approach). In: Proceedings of the Workshop on Team Behaviour and Plan Recognition at IJCAI (1999)Google Scholar
  12. 12.
    Huber, M.: JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), pp. 236–243. ACM Press, New York (1999)CrossRefGoogle Scholar
  13. 13.
    Jarvis, B., Corbett, D., Jain, L.: Beyond Trust: A BDI Model for Building Confidence in an Agent’s Intentions. In: Proceedings of the 9th International Conference on Knowledge-based and Intelligent Information and Engineering Systems, KES 2005. LNCS (LNAI), vol. 3682, Springer, Berlin (2005)Google Scholar
  14. 14.
    Moore, R.C.: A formal theory of knowledge and action. In: Allen, J.F., Hendler, J., Tate, A. (eds.) Readings in Planning, pp. 480–519. Morgan Kaufmann Publishers, San Francisco (1990)Google Scholar
  15. 15.
    O’Hara, K., Shadbolt, N.: Knowledge technologies and the semantic web, In: Trust and Crime in Information Societies, Edward Elgar (2005)Google Scholar
  16. 16.
    Wooldridge, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Bevan Jarvis
    • 1
  • Lakhmi Jain
    • 1
  1. 1.School of Electrical and Information EngineeringUniversity of South Australia 

Personalised recommendations