Actes communicatifs à effets institutionnels

Robert Demolombe (1) , V. Louis (2)

1 IRIT - Institut de recherche en informatique de Toulouse
2 Recherche et Développement

Cet article présente un cadre logique général pour représenter des actes de langage ayant des effets institutionnels. Il s'appuie sur les concepts de la théorie des actes de langage et complète la formalisation adoptée par l'organisme FIPA pour standardiser son langage de communication inter-agent. La caractéristique fondamentale de notre approche est que la force illocutoire de tous les actes de langage ainsi définis est déclarative. Le langage formel proposé pour exprimer le contenu propositionnel offre un grand pouvoir expressif et permet de représenter une grande variété d'actes de langage tels que : donner un pouvoir, nommer, ordonner, déclarer, etc. A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the Agent Communication Language standardized by the FIPA organization. The most important feature of our approach is that the illocutionary force of all of these speech acts is declarative. The formal language that is proposed to express the propositional content has a large expressive power and makes it possible to represent a large variety of speech acts such as : to empower, to appoint, to order, to declare, etc.

Mots clés: Actes de langage; effets institutionnels; agents; logique formelle; FIPA-ACL; Speech acts; institutional effects; formal logic

Domaines: Complexité [cs.CC]; Recherche opérationnelle [math.OC]

Robert Demolombe, V. Louis. Actes communicatifs à effets institutionnels. 2007. ⟨hal-00188755⟩