Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2002

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.
Fichier principal
Vignette du fichier
2002_Herzig-Longin_RFIA.pdf (134.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03534110 , version 1 (19-01-2022)

Identifiants

  • HAL Id : hal-03534110 , version 1

Citer

Andreas Herzig, Dominique Longin. Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs. 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Association Française d'Intelligence Artificielle; Association Française pour la Reconnaissance et l'Interprétation des Formes, Jan 2002, Angers, France. ⟨hal-03534110⟩
72 Consultations
47 Téléchargements

Partager

More