Computer Science – Artificial Intelligence
Scientific paper
2003-11-20
Computer Science
Artificial Intelligence
67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Mau
Scientific paper
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 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.
Martelli Maurizio
Mascardi Viviana
Sterling Leon
No associations
LandOfFree
Logic-Based Specification Languages for Intelligent Software Agents does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Logic-Based Specification Languages for Intelligent Software Agents, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic-Based Specification Languages for Intelligent Software Agents will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-406075