Un cadre logique pour la génération d'arguments

Résumé : L'idée de l'argumentation est de rechercher dans une base de connaissances, pour chaque proposition dont on souhaite évaluer la validité, les raisons qui étayent cette proposition et celles qui l'infirment. Un argument est alors entendu comme une paire comprenant une proposition et les raisons qui la justifient. Notre propos est d'offrir des outils formels pour la génération automatique d'arguments par deux agents en situation de dialogue. Ces outils reposent sur les X-logiques, formalisme non-monotone proposé en 1996 par Siegel et Forget et déterminant un cadre fondateur autour de la notion de preuve pour le raisonnement non-monotone. En particulier l'ensemble X servant à paramétrer la relation d'inférence confère une souplesse inégalée à la gestion dynamique des arguments. Après un tour d'horizon des travaux passés en matière de représentations logiques pour l'argumentation, nous introduisons les X-logiques, à partir desquelles est composée la notion d'attitude d'un agent par rapport à une formule. Nous définissons ensuite des opérateurs de confrontation qui permettent d'associer des ensembles de formules aux attitudes d'un agent. Le concept de réponse d'un agent à un ensemble de formules est alors élaboré en tant que motivation de l'attitude de cet agent vis-à-vis de l'ensemble en question. Plusieurs formes de réponses sont distinguées parmi lesquelles les notions de réponse pertinente ou encore de mensonge. Une réponse représente les raisons qui justifient la conclusion d'un argument : c'est à partir du calcul de ces réponses que nous exhibons une procédure de génération automatique d'arguments. Enfin nous montrons que notre cadre argumentatif permet de générer les contre-arguments conservatifs maximaux de Besnard et Hunter (2001), arguments retenus pour leur pertinence.
Type de document :
Thèse
Informatique [cs]. Université de la Méditerranée - Aix-Marseille II, 2005. Français


https://tel.archives-ouvertes.fr/tel-00632496
Contributeur : Geoffroy Aubry <>
Soumis le : vendredi 14 octobre 2011 - 14:43:08
Dernière modification le : vendredi 14 octobre 2011 - 15:07:09
Document(s) archivé(s) le : dimanche 15 janvier 2012 - 02:22:58

Fichier

Identifiants

  • HAL Id : tel-00632496, version 1

Collections

Citation

Geoffroy Aubry. Un cadre logique pour la génération d'arguments. Informatique [cs]. Université de la Méditerranée - Aix-Marseille II, 2005. Français. <tel-00632496>

Exporter

Partager

Métriques

Consultations de
la notice

255

Téléchargements du document

436