Actes communicatifs à effets institutionnels

Cet article presente un cadre logique general pour representer des actes de langage ayant des effets institutionnels. Il s'appuie sur les concepts de la theorie des actes de langage et complete la formalisation adoptee par l'organisme FIPA pour standardiser son langage de communication inter-agent. La caracteristique fondamentale de notre approche est que la force illocutoire de tous les actes de langage ainsi definis est declarative. Le langage formel propose pour exprimer le contenu propositionnel offre un grand pouvoir expressif et permet de representer une grande variete d'actes de langage tels que : donner un pouvoir, nommer, ordonner, declarer, 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.