Geoffroy AUBRY

Ancien Membre de l'équipe INCA   Web : http://geoffroy.aubry.free.fr

	Thèse soutenue mardi 13 décembre 2005, à 10h00 - amphi C de l'ESIL, Luminy Un cadre logique pour la génération d'arguments  [pdf]

THÈSE

Sujet de thèse : Un cadre logique pour la génération d'arguments Directeur(s) de thèse : Vincent Risch Date de début de thèse : novembre 2001 Financement(s) : aucun Thèmes de recherche développés : Logique, logiques non-monotones, théorie de la preuve, démonstration automatique, argumentation Points forts : Développement d'une théorie formelle de l'argumentation à base de X-logiques Résumé : La capacité à mener un raisonnement est l'une des multiples expressions de ce que l'on nomme intelligence. Tenter de l'appréhender nous fait donc entrer de plein pied dans l'Intelligence Artificielle. L'argumentation est un modèle très prometteur pour raisonner avec des connaissances incertaines ou incohérentes. Celui-ci est basé sur la construction et la comparaison d'arguments, chacun étant une raison de croire ou de ne pas croire en une donnée. De l'interaction entre arguments conflictuels apparaît la non-monotonie, or les X-logiques déterminent un cadre fondateur autour de la notion de preuve pour le raisonnement non-monotone. Notre propos est de montrer que l'inférence non-monotone associée aux X-logiques permet de considérer de façon neuve non seulement la question de la génération d'arguments pertinents, mais aussi celle de la confrontation d'arguments, déjà au centre de nombreux systèmes argumentatifs. Mots-clefs : intelligence artificielle, représentation des connaissances, systèmes argumentatifs, génération d'arguments, logique, raisonnement révisable, non-monotonie, X-logiques.

PUBLICATIONS

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]

2006

Conférences avec actes

Internationales

[1] G. Aubry, V. Risch, “Managing Deceitful Arguments with X-Logics”, in: The 18th IEEE International Conference on Tools with Artificial Intelligence, pp. 216-219, IEEE Computer Society, USA, Washington D.C., novembre 2006.[bib]

[2] G. Aubry, V. Risch, “Managing Deceitful Arguments with X-Logics”, in: 11th International Workshop on Non-Monotonic Reasoning (NMR'06), Lake District of the UK, may 2006.[bib][pdf]

Nationales

[3] G. Aubry, V. Risch, “Génération d’Arguments au sein d’un Système Argumentatif”, in: 15e Congrès Reconnaissance des Formes et Intelligence Artificielle, Tours, France, janvier 2006.[bib]

Rapports de recherche

[4] G. Aubry, V. Risch, “Managing Deceitful Arguments with X-Logics”, LSIS, n° LSIS.RR.2006.003, mars 2006.[bib][pdf]

2005

Conférences avec actes

Internationales

[5] G. Aubry, V. Risch, “Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework”, in: Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), pp. 599-603, IEEE Computer Society, Hong Kong, China, 14-16 novembre 2005. ISBN: 0-7695-2488-5.[bib]

Rapports de recherche

[6] G. Aubry, V. Risch, “Generation of Lying Arguments and X-logics”, LSIS, n° LSIS.RR.2005.007, november 2005.[bib][pdf]

[7] G. Aubry, V. Risch, “Génération d’Arguments au sein d’un Système Argumentatif”, LSIS, n° LSIS.RR.2005.004, juin 2005.[bib][pdf]

Thèse

[8] G. Aubry, Thèse : “Un cadre logique pour la génération d'arguments”, thèse de doctorat, Université Aix-Marseille II, décembre 2005. directeur : Vincent Risch.[bib][pdf]

2002

Conférences sans actes

[9] G. Aubry, “Sur la génération d'arguments à l'aide des X-logiques”, in: Journées des Doctorants du LSIS (JDL6), pp. 13-21, Marseille, France, décembre 2002.[bib]

webmaster