Control Structures of Rule-Based Agent Languages

  • Koen V. Hindriks
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules Ch. Meyer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1555)

Abstract

An important issue when defining a rule-based agent programming language is the design of interpreters for these programming languages. Since these languages are all based on some notion of rule, an interpreter must provide some means of selection from a set of such rules. We provide a concrete and intuitive ordering on rules on which this selection can be based. This ordering is inspired by the common sense metaphor of intelligent agents in Artificial Intelligence. Furthermore, we provide a language with a formal semantics for programming agent interpreters. The main idea is not to integrate this language into the agent language itself, but to provide the constructs for building interpreters at another (meta) level of specification. The operational semantics is accordingly specified at the meta level, by means of a (meta) transition system. Using this language we make a comparison between several interpreters for agent languages in the literature.

Keywords

Operational Semantic Belief Base Agent Program Execution Phase Goal Base 
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.
    Thomas Cooper and Nancy Wogrin. Rule-based Programming with OPS5. Morgan Kaufmann, 1988.Google Scholar
  2. 2.
    Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. Technical Report UU-CS-1998-07, University Utrecht, Department of Computer Science, 1998.Google Scholar
  3. 3.
    Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Formal Semantics for an Abstract Agent Programming Language. In Munindar P. Singh, Anand Rao, and Michael J. Wooldridge, editors, Intelligent Agents IV (LNAI 1365), pages 215–229, 1998.Google Scholar
  4. 4.
    Robert Kowalski and Fariba Sadri. Towards a unified agent architecture that combines rationality with reactivity. Proc. International Workshop on Logic in Databases (LNCS 1154), 1996.CrossRefGoogle Scholar
  5. 5.
    Robert Kowalski, F. Toni, and G. Wetzel. Towards a declarative and eficient glass-box clp language. In N.E. Fuchs and G. Gottlob, editors, Proc. of the 10th Logic Programming Workshop. University of Zurich (ifi-Report Nr. 94.10), 1994.Google Scholar
  6. 6.
    J.W. Lloyd. Foundations of Logic Programming. Springer, 1987.Google Scholar
  7. 7.
    J. P. Müller. The right agent (architecture) to do the right thing. In J.P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.Google Scholar
  8. 8.
    G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981.Google Scholar
  9. 9.
    Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, pages 42–55. Springer, 1996.Google Scholar
  10. 10.
    Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.CrossRefMathSciNetGoogle Scholar
  11. 11.
    Sarah Rebecca Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis, Department of Computer Science, Stanford University, 1993.Google Scholar
  12. 12.
    M. J. Wooldridge and S. D. Parsons. Intention reconsideration reconsidered. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Koen V. Hindriks
    • 1
  • Frank S. de Boer
    • 1
  • Wiebe van der Hoek
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Department of Computer ScienceUniversity UtrechtGermany

Personalised recommendations