LILaC
- paper abstract
Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs
Herzig, Andreas and Longin, Dominique
Abstract:
La formalisation de l'évolution des connaissances d'un agent
est un problème crucial dès lors que cet agent peut percevoir des
informations sur le monde dans lequel il évolue.
Ces mécanismes sont d'autant plus complexe à décrire que le
langage est riche. Cette contribution propose un cadre d'actes de
langage simplifiés qui permet tout de même de traiter les actes
nécessaires à un dialogue orienté-tâche.
Pour cela, une caractérisation de la notion d'intention ainsi que
de certaines lois coopératives est nécessaire, et permet d'inférer
des requêtes et des questions fermées à partir d'assertions.
Nous présentons les justificatifs philosophiques de ce mécanisme
d'inférence, qui est formalisé dans une logique modale dynamique
épistémique. Nous montrons enfin comment l'appliquer à une
architecture BDI d'agent rationnel.
Tout ce travail est dirigé dans le but d'obtenir une logique
minimale et donc simple à mettre en \oe uvre par des méthodes de
preuve.
PostScript
Note:
A version that is more recent and in English was presented at AAMAS2002
appears at AAMAS2002.
Bibtex-entry:
https://www.irit.fr/~Andreas.Herzig