Engineering AgentSpeak(L): A formal computational model

Journal of Logic and Computation

Volumn 8, Issue 3, 1998, Pages 233-260

  D'Inverno, Mark ^a   Luck, Michael ^b  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Agent languages; BDI architectures; Formal specification; Intelligent agents; Z

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS;

AGENTSPEAK PROGRAMMING LANGUAGE; BELIEF DESIRE INTENTION (BDI) FRAMEWORK; DISTRIBUTED MULTIAGENT REASONING SYSTEMS; PROCEDURAL REASONING SYSTEMS;

FORMAL LOGIC;

EID: 0032090125     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.3.233     Document Type: Article

References (29)

1. J. Bowen. Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press, London, 1996.
2. I. D. Craig. The Formal Specification of Advanced AI Architectures. Ellis Horwood, Chichester, 1991.
3. A. Diller. Z: An Introduction to Formal Methods, second edition, John Wiley, Chichester, 1994.
4. M. d'Inverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami. IEEE, New York, 1991.
5. M. d'Inverno and M. Hu. A Z specification of the soft-link hypertext model. In ZUM'97: The Z Formal Specification Notation, Lecture Notes in Computer Science, 1212, J. P. Bowen, M. G. Hinchey and D. Till, eds. pp. 297-316. Springer-Verlag, Heidelberg, 1997.
6. M. d'Inverno, G. R. Justo and P. Howells. A formal framework for specifying design methodologies. Software Process: Improvement and Practice, 2, 181-195, 1996.
7. M. d'Inverno, D. Kinny, M. Luck and M. Wooldridge. A formal specification of dMARS. In Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages. LNAI 1365, M. Singh, A. Rao and M. Wooldridge, eds. pp. 155-176. Springer Verlag, Heidelberg, 1998.
8. M. d'Inverno and M. Luck. Formalising the contract net as a goal directed system. In Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, W. Van de Velde and J. W. Perram, eds. pp. 72-85. Springer-Verlag, Heidelberg, 1996.
9. M. d'Inverno, M. Priestley and M. Luck. A formal framework for hypertext systems. IEE Proceedings on Software Engineering, 144, 175-184, 1997.
10. K. Fischer, J. P. Müller and M. Pischel. A pragmatic BDI architecture. In M. Wooldridge, J. P. Müllerand M. Tambe, eds. Intelligent Agents II: Proceedings of the Second Workshop on Agent Theories Architectures and Languages, LNAI 1037, pp. 203-218. Springer-Verlag, Heidelberg, 1996.
11. D. Garlan. The role of formal reusable frameworks. ACM SIGSOFT: Software Engineering Notes, 15, 42-44, 1990.
12. M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, CA, 1987.
13. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 677-682. AAAI Press / MIT Press, Menlo Park, CA, 1987.
14. R. Goodwin. A formal specification of agent properties. Journal of Logic and Computation, 5, 763-781, 1995.
15. A. Haddadi and K. Sundermeyer. Belief-desire-intention architectures. In Foundations of Distributed Artificial Intelligence, G. M. P. O'Hare and N. R. Jennings, eds. pp. 231-246. John Wiley and Sons, 1996.
16. M. A. Hewitt, C. M. O'Halloran, and C. T. Sennet. Experiences with PiZA, an animator for Z. In ZUM'97: The Z Formal Specification Notation, Lecture Notes in Computer Science, 1212, J. P. Bowen, M. G. Hinchey and D. Till, eds. pp. 37-51. Springer-Verlag, Heidelberg, 1997.
17. N. R. Jennings. Specification and implementation of a belief desire joint-intention architecture for collaborative problem solving. Journal of Intelligent and Cooperative Information Systems, 2, 289-318, 1993.
18. M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pp. 254-260. AAAI Press / MIT Press, Menlo Park, CA, 1995.
19. M. Luck and M. d'Inverno. Engagement and cooperation in motivated agent modelling. In Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence, Lecture Notes in Artificial Intelligence, 1087, pp. 70-84. Springer Verlag, Heidelberg, 1996.
20. M. Luck, N. Griffiths and M. d'Inverno. From agent theory to agent construction: A case study. In Intelligent Agents III: Proceedings of the Third International Workshop on Agent. Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence, 1193, pp. 49-63. Springer-Verlag, Heidelberg, 1997.
21. B. G. Milnes. A specification of the Soar architecture in Z. Technical Report CMU-CS-92-169, School of Computer Science, Carnegie Mellon University, 1992.
22. A. S. Rao. Agentspeak(1): BDI agents speak out in a logical computable language. In Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, W. Van de Velde and J. W. Perram, eds. pp. 42-55. Springer-Verlag, Heidelberg, 1996.
23. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In Proceedings of Knowledge Representation and Reasoning, C. Rich, W. Swartout and B. Nebel, eds. pp. 439-449, Morgan Kaufmann, San Mateo, CA, 1992.
24. M. Saaltink. The Z/EVES system. In ZUM'97: The Z Formal Specification Notation, Lecture Notes in Computer Science, 1212, J. P. Bowen, M. G. Hinchey and D. Till, eds. pp. 72-85. Springer-Verlag, Heidelberg, 1997.
25. J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, Cambridge, 1988.
26. J. M. Spivey. The fUZZ Manual. 2nd edition. Computing Science Consultancy, York, 1992.
27. J. M. Spivey. The Z Notation. 2nd edition. Prentice Hall, Hemel Hempstead, 1992.
28. J. Woodcock and J. Davies. Using Z: Specificiation, Refinement and Proof. Prentice Hall, Hemel Hempstead, 1996.
29. M. J. Wooldridge and N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence, 1994.