An agentSpeak meta-interpreter and its applications

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

Volumn 3862 LNAI, Issue , 2006, Pages 123-138

  Winikoff, Michael ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; PROGRAM INTERPRETERS;

AGENTSPEAK LANGUAGE; META-INTERPRETER;

MULTI AGENT SYSTEMS;

EID: 33745672515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11678823_8     Document Type: Conference Paper

References (27)

1. McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part i. Communications of the ACM (1960) 184-195
2. Armstrong, J., Virding, S., Williams, M.: Use of prolog for developing a new programming language. In: The Practical Application of Prolog. (1992)
3. Shapiro, E.: A Subset of Concurrent Prolog and Its Interpreter. In: Concurrent Prolog: Collected Papers (Volume 1). MIT Press (1987) 27-83
4. Thangarajah, J., Winikoff, M., Padgham, L., Fischer, K.: Avoiding resource conflicts in intelligent agents. In van Harmelen, F., ed.: Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press (2002)
5. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'02), ACM Press (2002) 960-967
6. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International (1993) ISBN 0-13-020249-5.
7. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In de Velde, W.V., Perrame, J., eds.: Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Springer Verlag (1996) 42-55 LNAI, Volume 1038.
8. Ashri, R., Luck, M., d'Inverno, M.: Infrastructure support for agent-based development. In: Foundations and Applications of Multi-Agent Systems, Springer-Verlag LNAI 2333 (2002) 73-88
9. Dastani, M., de Boer, F., Dignum, F., Meyer, J.J.: Programming agent deliberation: An approach illustrating the 3APL language. In Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M., eds.: Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), Melbourne, Australia, ACM Press (2003) 97-104
10. d'Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In Singh, M., Rao, A., Wooldridge, M., eds.: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag LNAI 1365 (1998) 155-176
11. Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents'99). (1999) 236-243
12. Georgeff, M.P., Lansky, A.L.: Procedural knowledge. Proceedings of the IEEE Special Issue on Knowledge Representation 74 (1986) 1383-1398
13. Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7 (1992)
14. Lee, J., Huber, M.J., Kenny, P.G., Durfee, E.H.: UM-PRS: An implementation of the procedural reasoning system for multirobot applications. In: Proceedings of the Conference on Intelligent Robotics in Field, Factory, Service, and Space (CIRFFSS'94). (1994) 842-849
15. Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents - Components for Intelligent Agents in Java. Technical report, Agent Oriented Software Pty. Ltd, Melbourne, Australia (1998) Available from http://www.agent-software.com.
16. Machado, R., Bordini, R.: Running AgentSpeak(L) agents on SIM_AGENT. In Meyer, J.J., Tambe, M., eds.: Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), Springer-Verlag LNAI 2333 (2001)
17. Rahwan, T., Rahwan, T., Rahwan, I., Ashri, R.: Agent-based support for mobile users using AgentSpeak(L). In Giorgini, P., Henderson-Sellers, B., Winikoff, M., eds.: Agent-Oriented Information Systems (AOIS 2003): Revised Selected Papers, Springer LNAI 3030 (2004) 45-60
18. d'Inverno, M., Luck, M.: Understanding Agent Systems. Springer-Verlag (2001)
19. Moreira, A., Bordini, R.: An operational semantics for a BDI agent-oriented programming language. In Meyer, J.J.C., Wooldridge, M.J., eds.: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02). (2002) 45-59
20. Plotkin, G.: Structural operational semantics (lecture notes). Technical Report DAIMI FN-19, Aarhus University (1981 (reprinted 1991))
21. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France (2002)
22. Hindriks, K.V, Boer, F.S.D., van der Hoek, W., Meyer, J.J.C.: A formal embedding of AgentSpeak(L) in 3APL. In Antoniou, G., Slaney, J., eds.: Advanced Topics in Artificial Intelligence, Springer Verlag LNAI 1502 (1998) 155-166
23. Sterling, L., Shapiro, E.: The Art of Prolog. Second edn. MIT Press (1994)
24. Winikoff, M.: Logic Programming with Linear Logic. PhD thesis, Melbourne University (1997)
25. Padgham, L., Winikoff, M., Poutakidis, D.: Adding debugging support to the prometheus methodology. EAAI special issue on "Agent-oriented software development" 18/2 (2005)
26. Ancona, D., Mascardi, V., Hübner, J.F., Bordini, R.H.: Coo-agentspeak: Cooperation in agentspeak through plan exchange. In Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M., eds.: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press (2004) 698-705
27. O'Keefe, R.A.: The Craft of Prolog. MIT Press (1990)