Logic-Based Specification Languages for Intelligent Software Agents
<|reference_start|>Logic-Based Specification Languages for Intelligent Software Agents: 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.<|reference_end|>
@article{mascardi2003logic-based,
    title={Logic-Based Specification Languages for Intelligent Software Agents},
    author={Viviana Mascardi, Maurizio Martelli, Leon Sterling},
    journal={arXiv preprint arXiv:cs/0311024},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0311024},
    primaryClass={cs.AI}
}