×

Logic-based specification languages for intelligent software agents. (English) Zbl 1085.68131

Summary: 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 \(\text{ConGolog}\), \(\text{AGENT}\)-0, the \(\text{IMPACT}\) agent programming language, \(\text{DyLOG}\), Concurrent \(\text{METATEM}\) and \({\mathcal 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.

MSC:

68T05 Learning and adaptive systems in artificial intelligence
68T01 General topics in artificial intelligence
68N99 Theory of software
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI