Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AOS: JACK Intelligent Agents: JACK Manual, Release 5.0, Agent Oriented Software, Pty Ltd (2005)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
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)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–256 (1990)
Dignum, F., Kinny, D., Sonenburg, L.: From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly 2(3-4), 407–430 (2002)
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)
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)
Georgeff, M.P., Lansky, A.L.: Procedural Knowledge. In: Proceedings of the IEEE, vol. 74, pp. 1383–1398 (1986)
Girle, R.A.: Modal Logics and Philosophy, Acumen (2000)
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)
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)
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)
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)
O’Hara, K., Shadbolt, N.: Knowledge technologies and the semantic web, In: Trust and Crime in Information Societies, Edward Elgar (2005)
Wooldridge, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jarvis, B., Jain, L. (2006). Trust in LORA: Towards a Formal Definition of Trust in BDI Agents. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893004_59
Download citation
DOI: https://doi.org/10.1007/11893004_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46537-9
Online ISBN: 978-3-540-46539-3
eBook Packages: Computer ScienceComputer Science (R0)