Mascardi, Viviana; Martelli, Maurizio; Sterling, Leon Logic-based specification languages for intelligent software agents. (English) Zbl 1085.68131 Theory Pract. Log. Program. 4, No. 4, 429-494 (2004). 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. Cited in 1 Document 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.) Keywords:agent-oriented software engineering; logic-based language; multiagent system Software:ConGolog; PVS; AgentSpeak; GOLOG; LUPS; METATEM; KARO PDFBibTeX XMLCite \textit{V. Mascardi} et al., Theory Pract. Log. Program. 4, No. 4, 429--494 (2004; Zbl 1085.68131) Full Text: DOI