Abstract
This paper presents the specification of a programming language for cognitive agents. This programming language is an extension of 3APL (An Abstract Agent Programming Language) and allows the programmer to implement agents’ mental attitudes like beliefs, goals, plans, and actions, and agents’ reasoning rules by means of which agents can modify their mental attitudes. The formal syntax and semantics of this language is presented as well as a discussion on the deliberation cycle and an example.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bordini, R.H., Moreira, A.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science 70(5) (2002), http://www.elsevier.nl/gej-ng/31/29/23/125/23/29/70.5.008.pdf
Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation: An approach illustrated using the 3apl language. In: Proceedings of The Second Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2003), Melbourne, pp. 97–104 (2003)
Dastani, M., Dignum, F., Meyer, J.-J.: Autonomy and agent deliberation. In: Proceedings of The First International Workshop on Computatinal Autonomy - Potential, Risks, Solutions (Autonomous 2003), Melbourne, Australia (2003)
Dennet, D.: The intentional stance. The MIT Press, Cambridge (1987)
Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, Springer, Heidelberg (2000)
Plotkin, G.: A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department (1981)
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: van der Velde, W., Perram, J. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, June 1995, pp. 312–319 (1995)
Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems, San Francisco (1995)
Sardina, S., Shapiro, S.: Rational action in agent programs with prioritized goals. In: Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS 2003), Melbourne, pp. 417–424 (2003)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)
van der Hoek, W., van Linder, B., Meyer, J.-J.C.: An integrated modal approach to rational agents. In: Wooldridge, M., Rao, A. (eds.) Foundations of Rational Agency. Applied Logic Series, vol. 14, pp. 133–168. Kluwer, Dordrecht (1998)
van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalizing abilities and opportunities of agents. Fundamenta Informaticae 34(1,2), 53–101 (1998)
van Riemsdijk, M.B., van der Hoek, W., Meyer, J.-J.C.: Agent programming in Dribble: from beliefs to goals with plans. In: Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS 2003), Melbourne, pp. 393–400 (2003)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the eighth international conference on principles of knowledge respresentation and reasoning (KR 2002), Toulouse (2002)
Wooldridge, M.: An introduction to multiagent systems. John Wiley and Sons, LTD, West Sussex (2002)
Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice, http://www.doc.mmu.ac.uk/STAFF/mike/ker95/ker95-html.h (Hypertext version of Knowledge Engineering Review paper) (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, JJ.C. (2004). A Programming Language for Cognitive Agents Goal Directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2003. Lecture Notes in Computer Science(), vol 3067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25936-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-25936-7_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22180-7
Online ISBN: 978-3-540-25936-7
eBook Packages: Springer Book Archive