Skip to main content Accessibility help
×
Home

Logic-based specification languages for intelligent software agents

  • VIVIANA MASCARDI (a1), MAURIZIO MARTELLI (a2) and LEON STERLING (a3)

Abstract

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.

Copyright

Footnotes

Hide All
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.

Footnotes

Keywords

Related content

Powered by UNSILO

Logic-based specification languages for intelligent software agents

  • VIVIANA MASCARDI (a1), MAURIZIO MARTELLI (a2) and LEON STERLING (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.