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

  • Peter Novák
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5442)


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.


Knowledge Representation Multiagent System Query Operator Abstract State Machine Knowledge Representation Language 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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)zbMATHGoogle Scholar
  2. 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)CrossRefzbMATHGoogle Scholar
  3. 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. 4.
    Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)CrossRefzbMATHGoogle Scholar
  5. 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. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 8.
    Köster, M.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Wissensrepräsentation. Master’s thesis (2008)Google Scholar
  9. 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. 10.
    Mainzer, D.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Interaktion mit der Umwelt. Master’s thesis (2008)Google Scholar
  11. 11.
    Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)CrossRefzbMATHGoogle Scholar
  12. 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. 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. 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)CrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 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. 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)CrossRefGoogle Scholar
  18. 18.
    Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: KR, pp. 439–449 (1992)Google Scholar
  19. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Peter Novák
    • 1
  1. 1.Department of InformaticsClausthal University of TechnologyClausthal-ZellerfeldGermany

Personalised recommendations