Abstract FR:

Le cadre général de cette thèse est le traitement automatique du raisonnement dans des bases de connaissances incomplètes. Nous commençons par proposer une caractérisation calculatoire cohérente et complète de la notion d'extension en logique des défauts chez Reiter. Cette caractérisation est ensuite étendue à plusieurs variantes connues. Les tableaux analytiques interviennent ici comme un langage de description d'ensembles de formules grâce auquel il est possible de qualifier au sein d'un processus général de calcul les différences entre variantes. Une nouvelle variante de logique des défauts est proposée à partir de la logique modale des hypothèses de Siegel et Schwind. D'une part cette variante est cumulative sans pour autant requérir la consistance de l'ensemble des justifications, d'autre part elle englobe plusieurs des variantes non cumulatives précédemment envisagées. Elle représente donc une alternative tres générale à la solution proposée par Brewka en 1990.