Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines
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.
KeywordsMental State Knowledge Representation Belief Base Agent Program Action Rule
Unable to display preview. Download preview PDF.
- 3.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)Google Scholar
- 4.Davis, R., Shrobe, H.E., Szolovits, P.: What Is a Knowledge Representation? AI 14(1), 17–33 (1993)Google Scholar
- 8.Novák, P.: Behavioural State Machines: programming modular agents. In: AAAI 2008 Spring Symposium: Architectures for Intelligent Theory-Based Agents (AITA 2008) (2008)Google Scholar
- 9.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)Google Scholar
- 10.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)Google Scholar
- 11.Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)Google Scholar
- 13.Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 309, AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025 (1983)Google Scholar