Trust in LORA: Towards a formal definition of trust in BDI agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4252 LNAI - II, Issue , 2006, Pages 458-463

  Jarvis, Bevan ^a   Jain, Lakhmi ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS;

ABILITY-BELIEF-COMMITMENT-DESIRE (ABCD); BELIEF-DESIRE-INTENTION ARCHITECTURE (BDI); LOGIC OF RATIONAL AGENTS (LORA);

MULTI AGENT SYSTEMS;

EID: 33750686900     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11893004_59     Document Type: Conference Paper

References (16)

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