International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2006: Computational Logic in Multi-Agent Systems pp 95-114

Prototyping 3APL in the Maude Term Rewriting Language

  • M. Birna van Riemsdijk
  • Frank S. de Boer
  • Mehdi Dastani
  • John-Jules Ch. Meyer
Conference paper

DOI: 10.1007/978-3-540-69619-3_6

Volume 4371 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
van Riemsdijk M.B., de Boer F.S., Dastani M., Meyer JJ.C. (2007) Prototyping 3APL in the Maude Term Rewriting Language. In: Inoue K., Satoh K., Toni F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science, vol 4371. Springer, Berlin, Heidelberg

Abstract

This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on the mathematical theory of rewriting logic. The language has been shown to be suitable both as a logical framework in which many other logics can be represented, and as a semantic framework, through which programming languages with an operational semantics can be implemented in a rigorous way. We explore the usage of Maude in the context of agent programming languages, and argue that, since agent programming languages such as 3APL have both a logical and a semantic component, Maude is very well suited for prototyping such languages. Further, we show that, since Maude is reflective, 3APL’s meta-level reasoning cycle or deliberation cycle can be implemented very naturally in Maude. Moreover, although we have implemented a simplified version of 3APL, we argue that Maude is very well suited for implementing various extensions of this implemented version. An important advantage of Maude, besides the fact that it is well suited for prototyping agent programming languages, is that it can be used for verification as it comes with an LTL model checker. Although this paper does not focus on model checking 3APL, the fact that Maude provides these verification facilities is an important motivation for our effort of implementing 3APL in Maude.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • M. Birna van Riemsdijk
    • 1
  • Frank S. de Boer
    • 1
    • 2
    • 3
  • Mehdi Dastani
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.ICS, Utrecht UniversityThe Netherlands
  2. 2.CWI, AmsterdamThe Netherlands
  3. 3.LIACS, Leiden UniversityThe Netherlands