Running AgentSpeak(L) agents on SIM-AGENT

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

Volumn 2333 LNAI, Issue , 2002, Pages 158-174

  Machado, Rodrigo ^a   Bordini, Rafael H ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; MULTI AGENT SYSTEMS; PROGRAM COMPILERS; PROGRAM INTERPRETERS; COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS;

AGENT-ORIENTED PROGRAMMING LANGUAGES; AGENTSPEAK; BDI AGENT; BDI LOGIC; MULTI AGENT; PROTOTYPE INTERPRETERS; TRAFFIC SIMULATIONS; TURNING POINTS;

INTELLIGENT AGENTS; MULTI AGENT SYSTEMS;

EID: 84901720286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45448-9_12     Document Type: Conference Paper

References (24)

1. James A. D. W. Anderson, editor. POP-11 Comes of Age: The Advancement of an AI Programming Language. Ellis Horwood, Chichester, U.K., 1989.
2. Rafael H. Bordini, John A. Campbell, and Renata Vieira. Extending ascribed intensional ontologies with taxonomical relations in anthropological descriptions of multiagent systems. Journal of Artificial Societies and Social Simulation, 1(4), October 1998. 〈http://www.soc.surrey.ac.uk/JASSS/1/4/3. html〉.
3. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3):213-261, 1990.
4. Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A formal specification of dMARS. In Munindar P. Singh, Anand S. Rao, and Michael Wooldridge, editors, Intelligent Agents IV-Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Providence, RI, 24-26 July, 1997, number 1365 in Lecture Notes in Artificial Intelligence, pages 155-176. Springer-Verlag, Berlin, 1998.
5. Mark d'Inverno and Michael Luck. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3):1-27, 1998.
6. Gregory Duck and Leon Sterling. Prototyping from a specification-an agent-based case study. Unpublished paper, available at URL http://www.cs.mu.oz. au/~gjd/research/.
7. Michael P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), 13-17 July, 1987, Seattle, WA, pages 677-682, Manlo Park, CA, 1987. AAAI Press / MIT Press.
8. Koen V. Hindriks, Frank S. de Boer,Wiebe van der Hoek, and John-Jules Ch. Meyer. Control structures of rule-based agent languages. In Jörg P. Müller, Munindar P. Singh, and Anand S. Rao, editors, Intelligent Agents V-Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), held as part of the Agents' World, Paris, 4-7 July, 1998, number 1555 in Lecture Notes in Artificial Intelligence, pages 381-396, Heidelberg, 1999. Springer-Verlag.
9. Marcus J. Huber. JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the Third International Conference on Autonomous Agents (Agents-99), 1-5 May, Seattle, WA, pages 236-243. ACM Press, 1999.
10. David Kinny. The Ψ calculus: an algebraic agent language. (In this volume).
11. David Kinny. The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.
12. João Alexandre Leite, José Júlio Alferes, and Luís Moniz Pereira. MINERVA-adynamic logic programming agent architecture. (In this volume).
13. Robin Milner, Joachim Parrow, and David Walker. A calculus for mobile processes (parts I and II). Information and Computation, 100(1):1-40 and 41-77, September 1992.
14. Gordon D. Plotkin. A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus, 1981.
15. Anand S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Walter Van de Velde and John Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence, pages 42-55, London, 1996. Springer-Verlag.
16. Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In MichaelWooldridge, Jörg P. Müller, and Milind Tambe, editors, Intelligent Agents II- Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL'95), held as part of IJCAI'95, Montréal, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 33-48, Berlin, 1996. Springer-Verlag.
17. Rosaldo J. F. Rossetti, Rafael H. Bordini, Ana L.C. Bazzan, Sergio Bampi, Ronghui Liu, and Dirck Van Vliet. Using BDI agents to improve driver modelling in a commuter scenario. Transportation Research Part C: Emerging Technologies, 2002. To appear.
18. Munindar P. Singh, Anand S. Rao, and Michael P. Georgeff. Formal methods in DAI: Logicbased representation and reasoning. In GerhardWeiß, editor, Multiagent Systems-A Modern Approach to Distributed Artificial Intelligence, chapter 8, pages 331-376. MIT Press, Cambridge, MA, 1999.
19. Aaron Sloman. The evolution of Popolog and POP-11 at Sussex University. In James A. D. W. Anderson, editor, POP-11 Comes of Age: The Advancement of an AI Programming Language, pages 30-54. Ellis Horwood, Chichester, U.K., 1989.
20. Aaron Sloman and Brian Logan. Building cognitively rich agents using the SIM AGENT toolkit. Communications of the Association of Computing Machinery, 43(2):71-77, March 1999.
21. Aaron Sloman and Riccardo Poli. SIM AGENT: A toolkit for exploring agent designs. In Michael Wooldridge, Jörg P. Müller, and Milind Tambe, editors, Intelligent Agents II-Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL'95), held as part of IJCAI'95, Montréal, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 392-407, Berlin, 1996. Springer-Verlag.
22. J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Hemel Hempstead, second edition, 1992.
23. Michael Wooldridge. Intelligent agents. In Gerhard Weiß, editor, Multiagent Systems-A Modern Approach to Distributed Artificial Intelligence, chapter 1, pages 27-77. MIT Press, Cambridge, MA, 1999.
24. Michael Wooldridge. Computationally grounded theories of agency. In Edmund Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), 10-12 July, Boston, pages 13-20, Los Alamitos, CA, 2000. IEEE Computer Society. Paper for an Invited Talk.