Recherche Avancée

Thèse soutenue

Contribution à l'étude des relations d'inférence non-monotone combinant inférence classique et préférences

FR  |  
EN
Auteur / Autrice : Marie-Christine Lagasquié-Schiex
Direction : Michel Cayrol
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1995
Etablissement(s) : Toulouse 3

Résumé

FR

Le domaine aborde est le raisonnement non-monotone et plus particulierement les formalismes modelisant la capacite de deduction d'un tel raisonnement. Ce travail ne porte pas sur le developpement de nouveaux formalismes de raisonnement non-monotone, mais propose une etude comparative dans un cadre unificateur. A partir d'une base de croyances, on choisit quelques formalismes combinant un principe d'inference et un mecanisme de generation de sous-ensembles de croyances consistants issus de la base initiale et pouvant etre ordonnes ou pas a l'aide de preferences. Plusieurs relations d'inference non-monotone peuvent alors etre definies selon le mecanisme de generation et le principe d'inference retenus. Une comparaison theorique de ces processus est alors effectuee selon trois points de vue distincts: la complexite temporelle, la prudence (realisme d'une relation du point de vue du nombre de conclusions a obtenir), les proprietes de deduction (approche axiomatique de l'inference non-monotone). Les resultats obtenus sont les suivants: ' la complexite dans le cas propositionnel general est catastrophique, et seules des restrictions extremement contraignantes amenent a une complexite polynomiale ; ' le critere de prudence est tres subjectif par rapport au contexte ; ' les resultats concernant les proprietes de deduction confirment la predominance de certaines relations ; ils prouvent aussi que les proprietes dites essentielles sont insuffisantes (non detection de problemes importants). Cette etude theorique est suivie d'une partie pratique portant sur l'algorithmique de certaines de ces relations. On presente ainsi quelques algorithmes et leurs resultats