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.


pdf

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