Advertisement

Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines

  • Koen Hindriks
  • Peter Novák
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5244)

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.

Keywords

Mental State Knowledge Representation Belief Base Agent Program Action Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming Languages, Platforms and Applications. Kluwer Academic Publishers, Dordrecht (2005)zbMATHGoogle Scholar
  2. 2.
    Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)zbMATHGoogle Scholar
  3. 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. 4.
    Davis, R., Shrobe, H.E., Szolovits, P.: What Is a Knowledge Representation? AI 14(1), 17–33 (1993)Google Scholar
  5. 5.
    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)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 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. 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. 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. 11.
    Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)Google Scholar
  12. 12.
    Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)zbMATHGoogle Scholar
  13. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Koen Hindriks
    • 1
  • Peter Novák
    • 2
  1. 1.EEMCSDelft University of TechnologyThe Netherlands
  2. 2.Department of InformaticsClausthal University of TechnologyGermany

Personalised recommendations