International Workshop on Agent Theories, Architectures, and Languages

ATAL 1998: Intelligent Agents V: Agents Theories, Architectures, and Languages pp 381-396

Control Structures of Rule-Based Agent Languages

  • Koen V. Hindriks
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules Ch. Meyer
Conference paper

DOI: 10.1007/3-540-49057-4_25

Volume 1555 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Hindriks K.V., de Boer F.S., Hoek W..., Meyer JJ.C. (1999) Control Structures of Rule-Based Agent Languages. In: Müller J.P., Rao A.S., Singh M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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