Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-09T21:59:29.038Z Has data issue: false hasContentIssue false
  • English
  • Français

Logic-based specification languages for intelligent software agents

Published online by Cambridge University Press:  07 June 2004

VIVIANA MASCARDI ,
MAURIZIO MARTELLI  and
LEON STERLING
VIVIANA MASCARDI
Affiliation:
DISI, Università di Genova, Via Dodecaneso 35, 16146, Genova, Italy (e-mail: mascardi@disi.unige.it)
MAURIZIO MARTELLI
Affiliation:
DISI, Università di Genova, Via Dodecaneso 35, 16146, Genova, Italy (e-mail: martelli@disi.unige.it)
LEON STERLING
Affiliation:
Department of Computer Science and Software Engineering, The University of Melbourne, Victoria 3010, Australia (e-mail: leon@cs.mu.oz.au)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are $\textsf{ConGolog}$, $\textsf{AGENT-0}$, the $\textsf{IMPACT}$ agent programming language, $\textsf{DyLOG}$, Concurrent $\textsf{METATEM}$ and ${\cal E}_{hhf}$. For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.

Keywords

agent-oriented software engineeringlogic-based languagemultiagent system

Information

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 4 , Issue 4 , July 2004 , pp. 429 - 494
Copyright
© 2004 Cambridge University Press

Footnotes

Partially supported by the “Verifica di Sistemi Reattivi Basati su Vincoli (COVER)” project of the Programma di Ricerca Cofinanziato MIUR, Bando 2002, and by the “Discovery” project of the Australian Research Council number DP0209027.