La gestion des préférences en logique des défauts / Farid Benhammadi ; sous la direction de Bernard Levrat et Torsten Schaub

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1999

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Représentation des connaissances

Théorèmes -- Démonstration automatique

Schaub, Torsten (Directeur de thèse / thesis advisor)

Levrat, Bernard (Directeur de thèse / thesis advisor)

Université d'Angers (1972-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : Ce travail porte sur la gestion des préférences explicites en logique des défauts et nous nous sommes essentiellement intéressés à la problématique de déduction automatique. Pour ce faire, nous avons défini une nouvelle approche pour caractériser les extensions prioritaires pour les théories de défauts ordonnés. De cette facon, nous avons obtenu deux résultats : un nouveau calcul d'extensions prioritaires qui nous a permis d'avoir une méthode de calcul d'extensions plus efficace, une approche du raisonnement crédule en logique des défauts ordonnée basé sur deux schémas de vérification différents. Le premier s'appuie sur un algorithme de transformation de preuves classiques en preuves prioritaires et le second sur la préservation de priorités et des ensembles de blocage de défauts. Nous montrons enfin comment la technologie Prolog peut être utilisée pour implanter le raisonnement crédule en logique des défauts avec priorités.