Abstract FR:

Nous nous interessons dans cette these a la caracterisation des logiques non-monotones a travers l'etude systematique des proprietes de leur relation d'inference. Nous montrons que les caracterisations proposees jusqu'ici ont pour principal defaut leur absence de specificite : elles n'excluent pas les relations monotones et les proprietes exhibees ne sont donc pas intrinseques a la non-monotonie. Nous proposons un changement de perspective et une veritable caracterisation resolvant ce probleme ; dans ce cadre, etre non-monotone pour une relation d'inference est equivalent a etre une extension propre d'une relation de consequence, une condition structurelle precise liant ces deux relations. De plus, cette caracterisation a permis la mise a jour d'une definition intuitive des relations d'inferences non-monotones comme un nouveau type d'enthymemes. Nos travaux se situent dans la perspective de la generation automatique des proprietes des relations d'inference non-monotones. Nous nous placons donc dans le cadre du codage de ces relations dans une logique conditionnelle dont la correspondance avec celles-ci est bien connue. Les logiques conditionnelles ont ete largement etudiees et offrent ainsi un cadre des plus pratiques. Cependant, la caracterisation que nous proposons necessite la quantification propositionnelle qui, bien connue en logique modale, fut presque totalement ignoree en logique conditionnelle. Nous presentons donc une etude de cette quantification en logique conditionnelle et montrons que celles-ci font preuve d'un comportement propre vis-a-vis de ce type de quantification. Nous demontrons l'adequation-completude d'un tel systeme.