Logic-Based Specification Languages for Intelligent Software Agents

Simple item page
dc.creatorMascardi, Viviana
dc.creatorMartelli, Maurizio
dc.creatorSterling, Leon
dc.date2003-11-20
dc.date.accessioned2026-07-07T03:20:35Z
dc.date.available2026-07-07T03:20:35Z
dc.descriptionThe 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 ConGoLog, Agent-0, the IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf. 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.
dc.description67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe Editor-in-Chief
dc.identifierhttps://arxiv.org/abs/cs/0311024
dc.identifierhttp://arxiv.org/abs/cs/0311024
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31878
dc.subjectArtificial Intelligence
dc.subjectA.1; F.4.1; I.2.11
dc.titleLogic-Based Specification Languages for Intelligent Software Agents
dc.typetext

Files

Collections

arXiv