A new semantics for ACL based on commitments and penalties - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Intelligent Systems Année : 2008

A new semantics for ACL based on commitments and penalties

Résumé

In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for agent communication languages (ACL) with a clear semantics has been widely recognized. The semantics should be verifiable, clear and practical. Most classical proposals (for instance, mentalistic semantics) fail to meet these objectives. This paper proposes a logic-based semantics which is social in nature. The basic idea is to associate with each speech act a clear meaning in terms of a commitment induced by that speech act, and a penalty to be paid in case that commitment is violated. A violation criterion based on the existence of arguments is then defined per speech act. We show that the proposed semantics satisfies some key properties that ensure that the approach is well-founded. The logical setting makes the semantics verifiable. Moreover, it is shown that the new semantics is practical since it captures the dynamic of dialogues, and shows clearly how isolated speech acts can be connected for building dialogues.
Fichier principal
Vignette du fichier
AmgoudDupinIjis07.pdf (252.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03324631 , version 1 (23-08-2021)

Identifiants

Citer

Leila Amgoud, Florence Dupin de Saint-Cyr. A new semantics for ACL based on commitments and penalties. International Journal of Intelligent Systems, 2008, 23 (3), pp.286-312. ⟨10.1002/int.20267⟩. ⟨hal-03324631⟩
36 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More