Abstract
A variety of agent-oriented programming languages based on concepts such as beliefs and goals has been proposed in the literature. Even though most of these languages now come with interpreters implemented in e.g. Java and can be used to write software agents, there is little work reporting how to implement such languages or to identify a core instruction set that would facilitate such implementation. In this paper we introduce a compiler for the language GOAL into the framework of Jazzyk Behavioural State Machines. The result is a translation of key agent concepts such as beliefs and goals into Jazzyk which lacks these notions, thus providing some evidence that it may provide a sufficient instruction set for implementing agent programs. Moreover, arguably, the implementation strategy used can be applied also to other agent programming languages.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming Languages, Platforms and Applications. Kluwer Academic Publishers, Dordrecht (2005)
Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Dastani, M., Hindriks, K.V., Novák, P., Tinnemeier, N.A.M.: Combining multiple knowledge representation technologies into agent programming languages. In: Proc. of the Intl. Workshop on Declarative Agent Languages and Technologies (DALT 2008) (2008)
Davis, R., Shrobe, H.E., Szolovits, P.: What Is a Knowledge Representation? AI 14(1), 17–33 (1993)
de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.-J.C.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5(2), 277–302 (2007)
Dennis, L.A., Bordini, R.H., Farwer, B., Fisher, M., Wooldridge, M.: A common semantic basis for BDI languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908. Springer, Heidelberg (2008)
Hindriks, K.: Modules as Policy-Based Intentions. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908. Springer, Heidelberg (2008)
Novák, P.: Behavioural State Machines: programming modular agents. In: AAAI 2008 Spring Symposium: Architectures for Intelligent Theory-Based Agents (AITA 2008) (2008)
Novák, P.: Jazzyk: A programming language for hybrid agents with heterogeneous knowledge representations. In: Proc. of the 6th Intl. Workshop on Programming Multi-Agent Systems (ProMAS 2008) (2008)
Pednault, E.: ADL: exploring the middle ground between STRIPS and the situation calculus. In: Proc. of the Int. Conf. on Principles of Knowledge Representation and Reasoning (1989)
Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)
Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 309, AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025 (1983)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hindriks, K., Novák, P. (2008). Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines. In: Bergmann, R., Lindemann, G., Kirn, S., Pěchouček, M. (eds) Multiagent System Technologies. MATES 2008. Lecture Notes in Computer Science(), vol 5244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87805-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-87805-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87804-9
Online ISBN: 978-3-540-87805-6
eBook Packages: Computer ScienceComputer Science (R0)