An argumentation-based semantics for agent communication languages
Résumé
In recent years, the importance of defining a standard framework for agent communication language (ACL) has been widely recognized. However, classical proposals (mentalistic semantics and social semantics) fail to meet the objectives of verifiability and flexibility required in complex interactions involving heterogenous agents possibly designed by different programmers. In this paper we propose an ACL which allows heterogenous agents to engage flexibly in the different kinds of dialogues identified by Walton and Krabbe. To this end, we propose a two-layered semantics which includes a commitment level and a reasoning level based on argumentation.