Abduction

par FIORA PIRRI-ARDIZZONE

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel De Glas.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these a pour objectif de proposer une definition de la structure logique de l'abduction et, par consequent, de la nature reelle de la notion d'explication. Le document est divise en deux parties. Dans la premiere, l'abduction est presentee comme un meta-calcul, dependant du mecanisme d'inference de la logique sur laquelle elle est definie. La presentation de l'abduction obeit au schema classique qui lie l'abduction a la deduction. On procede a la definition des calculs des propositions, des predicats et modaux. Ceux-ci se fondent sur la methode des tableaux semantiques, et une version duale, fondee sur le calcul des sequents est egalement proposee dans le cas du calcul propositionnel et du calcul des predicats. Dans tous les cas, on etablit des resultats de completude. La seconde partie de la these aborde l'abduction comme un systeme logique independant d'un quelconque systeme deductif. On propose une semantique qui definit une relation d'abduction en termes de preuves. Un systeme axiomatique complet a la gentzen est presente. Enfin, la comparaison entre le systeme propose et le raisonnement non-monotone fait apparaitre les profondes differences entre les deux systemes logiques. Le raisonnement non monotone est, en fait, deductif, alors que le raisonnement abductif possede sa propre structure inferentielle, susceptible d'etre interfacee avec un systeme deductif. Un systeme abductif fonde sur un mecanisme d'inference non monotone peut, toutefois, etre propose. Le principal resultat de cette these est qu'elle montre que l'abduction est une forme reelle de raisonnement, souple et puissant, ayant sa propre structure logique


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 203 P.
  • Annexes : 113 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1995 435
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.