Abstract FR:

Les travaux de thèse présentés ici contribuent a un double objectif: (1) définir les fondements d'une théorie formelle de la communication coopérative exprimée entièrement au sein d'un modèle logique des attitudes mentales et de l'action ; (2) mettre en œuvre un système évolué de dialogue oral coopératif homme-machine fonde sur la notion d'agent rationnel telle que spécifié par la théorie. Nous exposons et étudions une théorie de l'interaction rationnelle fondée sur un modèle formel des attitudes mentales d'un agent (croyance, incertitude et intention) et de l'action. Nous rappelons que le comportement communicatif d'un agent peut être régi par des principes de rationalité et ainsi, être motivé (et donc justifié) par ses attitudes mentales. Nous posons les fondements d'un modèle original des représentations mentales et des capacités linguistiques d'un agent, au sein même de la théorie. De cette façon, l'interprétation et la génération d'énoncés en langue naturelle sont vues comme des activités épistémiques banalisées. Nous proposons l'extension du modèle formel du comportement coopératif, intégré à la théorie, par la formalisation de la reconnaissance et de l'adoption d'intentions. Nous distinguons deux niveaux de reconnaissance d'intentions. D'une part, nous formalisons la reconnaissance de plans du domaine au sein même de la théorie (c'est-a-dire dans un langage modal du premier ordre) sur la base de la méthode formelle de Kautz fondée sur la circonscription. D'autre part, la reconnaissance d'intentions communicatives correspond intuitivement à la résolution des indirections des actes de langage. La seconde partie de notre contribution correspond à la mise en œuvre d'un agent rationnel spécifié par la théorie. Nous mettons en évidence les objectifs et les contraintes du raisonnement automatique en logique modale du premier ordre. Nous présentons une méthode d'inférence originale: la saturation de théorie par application de règles de résolution modale (incluant une skolemisation incrémentale) et par instanciation de schémas d'axiomes. Les résultats obtenus sont illustres dans le cadre d'un prototype de système de dialogue oral coopératif, appliqué a la consultation de l'annuaire des serveurs audiotel (l'application audiotel guide des services), développé par le groupe dialogue au département recherche en communication par la parole du CNET Lannion