Skip to main content
SpringerLink
Log in

Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations

  • Conference paper
Book cover Programming Multi-Agent Systems (ProMAS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5442))

Included in the following conference series:

Abstract

Different knowledge representation tasks require different knowledge representation techniques. Agent designers should therefore be able to easily exploit benefits of various knowledge representation technologies in a single agent system.

I describe here a modular agent programming language Jazzyk based on the programming framework of Behavioural State Machines (BSM). BSM framework, and thus also Jazzyk, draws a strict distinction between a knowledge representational and a behavioural level of an agent program. It supports a high degree of modularity w.r.t. employed KR technologies, and at the same time provides a clear and concise semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bordini, R.H., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica 30, 33–44 (2006)

    MATH  Google Scholar 

  2. Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F.: Multi-Agent Programming Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Kluwer Academic Publishers, Dordrecht (2005)

    Book  MATH  Google Scholar 

  3. Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Multiagent Systems, Artificial Societies, and Simulated Organizations [2], ch. 1, vol. 15, pp. 3–37 (2005)

    Google Scholar 

  4. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  5. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J. (eds.): Programming Multi-Agent Systems in 3APL. In: Multiagent Systems, Artificial Societies, and Simulated Organizations [2], ch. 2, vol. 15, pp. 39–68 (2005)

    Google Scholar 

  6. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A verification framework for agent programming with declarative goals. J. Applied Logic 5(2), 277–302 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Hindriks, K., Novák, P.: Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines. In: Bergmann, R., Lindemann, G., Kirn, S., Pěchouček, M. (eds.) MATES 2008. LNCS, vol. 5244. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Köster, M.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Wissensrepräsentation. Master’s thesis (2008)

    Google Scholar 

  9. Laird, J.E., van Lent, M.: Human-level AI’s killer application: Interactive computer games. AI Magazine 22(2), 15–26 (2001)

    Google Scholar 

  10. Mainzer, D.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Interaktion mit der Umwelt. Master’s thesis (2008)

    Google Scholar 

  11. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)

    Book  MATH  Google Scholar 

  12. Novák, P.: An open agent architecture: Fundamentals. Technical Report IfI-07-10, Department of Informatics, Clausthal University of Technology (November 2007)

    Google Scholar 

  13. Novák, P.: Behavioural State Machines: programming modular agents. In: AAAI 2008 Spring Symposium: Architectures for Intelligent Theory-Based Agents, AITA 2008, March 26-28 (2008)

    Google Scholar 

  14. Novák, P., Dix, J.: Modular BDI architecture. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 1009–1015. ACM, New York (2006)

    Chapter  Google Scholar 

  15. Novák, P., Dix, J.: Adding structure to agent programming languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS, vol. 4908, pp. 140–155. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Novák, P., Köster, M.: Designing goal-oriented reactive behaviours. In: Proceedings of the 6th International Cognitive Robotics Workshop, CogRob 2008, Patras, Greece, July 21-22 (2008)

    Google Scholar 

  17. Padovani, L., Provetti, A.: Qsmodels: ASP planning in interactive gaming environment. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 689–692. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  18. Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: KR, pp. 439–449 (1992)

    Google Scholar 

  19. Syrjänen, T.: Implementation of local grounding for logic programs with stable model semantics. Technical Report B18, Digital Systems Laboratory, Helsinki University of Technology (October 1998)

    Google Scholar 

  20. Syrjänen, T., Niemelä, I.: The Smodels System. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS, vol. 2173, pp. 434–438. Springer, Heidelberg (2001)

    Google Scholar 

  21. van Lent, M., Laird, J.E., Buckman, J., Hartford, J., Houchard, S., Steinkraus, K., Tedrake, R.: Intelligent agents in computer games. In: AAAI/IAAI, pp. 929–930 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Clausthal University of Technology, Julius-Albert-Str. 4, D-38678, Clausthal-Zellerfeld, Germany

    Peter Novák

Authors
  1. Peter Novák
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. EEMCS, Delft University of Technology,, The Netherlands

    Koen V. Hindriks

  2. Distributed Systems and Information Systems, University of Hamburg, Hamburg, Germany

    Alexander Pokahr

  3. School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Sebastian Sardina

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Novák, P. (2009). Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds) Programming Multi-Agent Systems. ProMAS 2008. Lecture Notes in Computer Science(), vol 5442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03278-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03278-3_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03277-6

  • Online ISBN: 978-3-642-03278-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation