A common semantic basis for BDI languages

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

Volumn 4908 LNAI, Issue , 2008, Pages 124-139

  Dennis, Louise A ^a   Farwer, Berndt ^b   Bordini, Rafael H ^b   Fisher, Michael ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; VERIFICATION;

BDI PROGRAMMING LANGUAGES; FORMAL VERIFICATION;

SEMANTICS;

EID: 43949093085     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79043-3_8     Document Type: Conference Paper

References (28)

1. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, Springer, Heidelberg (2005)
2. Bordini, R.H., Hübner, J.F.: Jason: A Java-based interperter for an extended version of AgentSpeak (2006), http://jason.sourceforge.net
3. Bordini, R.H., Hilbner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology, John Wiley & Sons, Chich-ester (2007)
4. Braubach, L., Pokahr, A., Farwer, B.: On Formalising Jadex. Personal Communication (January 2007)
5. Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System. In: Proc. 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 7-11. AAAI Press, Menlo Park (2003)
6. Dastani, M.: 2APL: A Practical Agent Programming Language. In: AAMAS conference PLDT-MAS Tutorial (2007)
7. Dastani, M., Dignum, V., Dignum, E: Role-Assignment in Open Agent Societies. In: Proc. 2nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), ACM Press, New York (2003)
8. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini et al, [1], ch. 2, pp. 39-67.
9. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Goal Types in Agent Programming. In: Proc. 17th European Conference on Artificial Intelligence (ECAI) (2006)
10. L. A. Dennis. Agent Infrastructure Layer (AIL): Design and Operational Semantics v1.0. Technical Report ULCS-07-001, Department of Computer Science, University of Liverpool (2007),http://www.csc.liv.ac.uk/research/techreports/
11. Dennis, L.A., Fisher, M., Hepple, A.: Language constructs for multi-agent programming. In: Proc. 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (2007)
12. Gutknecht, O., Ferber, J., Michel, F.: From Agents to Organizations: An Organizational View of Multi-agent Systems. In: Giorgini, P., Müller, J.P, Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214-230. Springer, Heidelberg (2004)
13. FIPA. FIPA Communicative Act Library Specification. Technical Report FIPA00037, Foundation for Intelligent Physical Agents(2002)
14. Fisher, M.: MetateM: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 3-22. Springer, Heidelberg (2006)
15. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational Logics and Agents - A Roadmap of Current Technologies and Future Trends. In: Computational Intelligence (in press)
16. Hepple, A., Dennis, L., Fisher, M.: A common basis for agent organisation in BDI languages. In: Languages, Methologies and Development tools for Multi-Agent Systems (LADS 2007) (2007)
17. Hindricks, K.V., Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A Formal Embedding of AgentSpeak(L) in 3APL. In: Antoniou, G., Slaney, J.K. (eds.) Canadian AI 1998. LNCS, vol. 1502, pp. 155-166. Springer, Heidelberg (1998)
18. Hindricks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4), 357-401 (1999)
19. Hübner, J.F., Bordini, R.H., Wooldridge, M.: Programming Declarative Goals using Plan Patterns. In: Proc. 4th International Workshop on Declarative Agent Languages and Technologies (DALT), Hakodate, Japan, pp. 65-81 (May 2006)
20. Muscettola, N., Nayak, P.P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1-2), 5-48 (1998)
21. Pokahr, A., Braubach, L., Lamersdorf, W.: A Flexible BDI Architecture Supporting Extensibility. In: Proc. IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pp. 379-385 (2005)
22. Rao, A.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42-55. Springer, Heidelberg (1996)
23. Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), San Francisco, pp. 312-319 (1995)
24. Sierhuis, M.: Multiagent Modeling and Simulation in Human-Robot Mission Operations (2006), http://ic.arc.nasa.gov/ic/publications
25. Vázquez-Salceda, J., Dignum, V, Dignum,F.: Organizing multiagent systems. Technical Report UU-CS-2004-015, Institute of Information and Computing Sciences, Utrecht University (2004)
26. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 11-15, pp. 3-12. IEEE Computer Society, Los Alamitos (2000)
27. Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model Checking Multiagent Systems with MABLE. In: Proc. 1st International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (July 2002)
28. Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Kluwer, Dordrecht (1999)