Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs
Résumé
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 oeuvre par des méthodes de preuve.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|