From agent theory to agent construction: A case study

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

Volumn 1193, Issue , 2015, Pages 49-63

  Luck, Michael ^a   Griffiths, Nathan ^a   D'inverno, Mark ^b  

^a UNIVERSITY OF WARWICK   (United Kingdom)

^b UNIVERSITY OF WESTMINSTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MULTI AGENT SYSTEMS; COMPUTATIONAL LINGUISTICS;

AGENT SIMULATION; FORMAL THEORY; GROWING BODIES; PRACTICAL SYSTEMS; REACTIVE AGENT; THEORETICAL ASPECTS; THEORETICAL FRAMEWORK; THEORY AND PRACTICE; AGENT SYSTEMS;

INTELLIGENT AGENTS;

EID: 84926334777     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (33)

1. L.P. Beaudoin and A. Sloman. A study of motive processing and attention. In Prospects for Artificial Intelligence: Proceedings of AISB93, pages 229-238, Birmingham, 1993.
2. T. Bouron, J. Ferber, and E Samuel. MAGES: A multi-agent testbed for heterogeneous agents. In Y. Demazeau and J.-E Mailer, editors, DecentralizedAl 2: Proceedings of the Second European Workshop on Modelling Autonomous Agents in a Multi-Agent World, pages 195-216. Elsevier, 1991.
3. P. R. Cohen, M. Greenberg, D. M. Hart, and A. E. Howe. Trial by fire: Understanding the design requirements for agents in complex environments. AI Magazine, 10(3), 1989.
4. I.D. Craig. The FormaISpecification of Advanced AI Architectures. Ellis Horwood, 1991.
5. D.N. Davis. Reactive and motivational agents: towards a collective minder. In J. P. M~iller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents 1II -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Veflag, Heidelberg, 1996. In this volume.
6. F. Dignum and B. van Linder. Modeling social agents: Communication as action. In J. P. Mailer, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III-- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL- 96), Lecture Notes in Artificial Intelligence. Springer-Vedag, Heidelberg, 1996. In this volume.
7. M. d'Invemo, G. R. Justo, and P. Howells. A formal framework for specifying design methodologies. In 29th Annual Hawaii International Conference on System Sciences, pages 741-750. IEEE Computer Society Press, 1996.
8. M. d'Invemo and M. Luck. A formal view of social dependence networks. In Proceedings of the First Australian DAI Workshop, Lecture Notes in Artificial Intelligence, 1087, pages 115-129. Springer Verlag, 1996.
9. M. d'Invemo and M. Luck. Formalising the contract net as a goal directed system. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNA11038, pages 72-85. Springer-Veflag, 1996.
10. M. d'Invemo and M. Luck. Understanding autonomous interaction. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence, pages 529-533. John Wiley & Sons, 1996.
11. S. Franklin and A. Graesser. Is it an agent, or just a program?: A taxonomy for autonomous agents. In J. P. Miiller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
12. L. Gasser, C. Braganza, and N. Hermann. MACE: A flexible testbed for distributed AI research. In M. Huhns, editor, Distributed Artificial Intelligence, pages 119-152. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1987.
13. R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, Carnegie-Mellon University, 1993.
14. M.B. Josephs. Astate-basedapproachto communicatingprocesses. Distributed Computing, 3:9-18, 1988.
15. D. Kinny, M. Georgeff, and A. Rao. A methodology and modelling technique for systems of BDI agents. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNA11038, pages 56-71. Springer-Veflag: Heidelberg, Germany, 1996.
16. M. Luck and M. d'Invemo. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254-260. AAAI Press/M1T Press, 1995.
17. M. Luck and M. d'Invemo. Engagement and cooperation in motivated agent modelling. In Proceedings of the First Australian DAI Workshop, Lecture Notes in Artificial Intelligence, 1087, pages 70-84. Springer Verlag, 1996.
18. E Maes. The dynamics of action selection. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 991-997, Detroit, 1989.
19. E Maes. How to do the fight thing. Connection Science, 1(3):291-323, 1989.
20. D. Moffat and N. H. Frijda. Where there's a will there's an agent. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages, LNA1 890, pages 245-260. Springer-Verlag: Heidelberg, Germany, 1995.
21. D. Moffat, N. H. Frijda, and R. H. Phaf. Analysis of a model of emotions. In Prospects for Artificial Intelligence: Proceedings of AISB93, pages 219-228, Birmingham, 1993.
22. A. Moreno and T. Sales. Dynamic belief analysis. In J. P. M~iller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
23. T. J. Norman and D. Long. Goal creation in motivated agents. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 890, pages 277-290. Springer-Verlag: Heidelberg, Germany, 1995.
24. T. J. Norman and D. Long. Alarms: An implementation of motivated agency. In M. Wooldridge, J.P. Muller, and M. Tambe, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 1037, pages 219-234. Springer-Verlag: Heidelberg, Germany, 1996.
25. M. E. Pollack and M. Ringuette. Introducing the tileworld: Experimentally evaluting agent architectures. In Proceedings of the Eighth National Conference on Artificial Intelligence, pages 183-189, 1990.
26. A. S. Rao. Agentspeak(1): BDI agents speak out in a logical computable language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNA11038, pages 42-55. Springer-Verlag: Heidelberg, Germany, 1996.
27. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning, pages 439-449, 1992.
28. G. Sandu. Reasoning about collective goals. In J. P. Miiller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents 111 -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
29. A. Sloman. Motives, mechanisms, and emotions. Cognition and Emotion, 1(3):217-233, 1987.
30. A. Sloman and R. Poli. SIM_AGENT: A toolkit for exploring agent designs. In M. Wooldridge, J.E Muller, and M. Tambe, editors, Intelligent Agents: Theories, Architectures, and Languages, LNA11037, 1996.
31. J.M. Spivey. The ZNotation. Prentice Hall, Hemel Hempstead, 2rid edition, 1992.
32. M. Wooldridge and D. Vandekerckhove. MYWORLD: An agent-oriented testbed for distributed artificial intelligence. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 263-274. DAKE Centre, University of Keele, UK, 1994.
33. 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.