Note publique d'information : Cette thèse a pour objectif de proposer une définition de la structure logique de
l'abduction et, par conséquent, de la nature réelle de la notion d'explication. Le
document est divisé en deux parties. Dans la première, l'abduction est présentée comme
un méta-calcul, dépendant du mécanisme d'inférence de la logique sur laquelle elle
est définie. La présentation de l'abduction obéit au schéma classique qui lie l'abduction
à la déduction. On procède à la définition des calculs des propositions, des prédicats
et modaux. Ceux-ci se fondent sur la méthode des tableaux sémantiques, et une version
duale, fondée sur le calcul des séquents est également proposée dans le cas du calcul
propositionnel et du calcul des prédicats. Dans tous les cas, on établit des résultats
de complétude. La seconde partie de la thèse aborde l'abduction comme un système logique
indépendant d'un quelconque système déductif. On propose une sémantique qui définit
une relation d'abduction en termes de preuves. Un système axiomatique complet à la
Gentzen est présenté. Enfin, la comparaison entre le système proposé et le raisonnement
non-monotone fait apparaitre les profondes différences entre les deux systèmes logiques.
Le raisonnement non monotone est, en fait, déductif, alors que le raisonnement adductif
possède sa propre structure inférentielle, susceptible d'être interfacée avec un système
déductif. Un système adductif fondé sur un mécanisme d'inférence non monotone peut,
toutefois, être proposé. Le principal résultat de cette thèse est qu'elle montre que
l'abduction est une forme réelle de raisonnement, souple et puissant, ayant sa propre
structure logique.
paprika.idref.fr
data.idref.fr
Documentation
