C-classic## : Une logique de descriptions pour la définition et l'apprentissage de concepts avec défauts et exceptions

C-classic##: a description logic for concept definition and learning with defaults and exceptions

• Auteur / Autrice : Ventos, Véronique
• Direction : Daniel Kayser
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1997
• Etablissement(s) : Paris 13

Mots clés

Mots clés contrôlés

Intelligence artificielle

Résumé

Nous presentons la definition et l'etude theorique d'une nouvelle logique de descriptions (c-classic##) suffisamment expressive pour etre utilisee dans le cadre d'une application et permettant de representer des connaissances par defaut et de type exception. C-classic## comprend tous les connecteurs de c-classic (a. Borgida et p. F. Patel-schneider) plus les connecteurs et definis par p. Coupey et c. Fouquere permettant de representer des connaissances par defaut et de type exception. Cette logique de descriptions est composee de trois modules: un module permettant de representer des connaissances, un module permettant d'utiliser ces connaissances et un module permettant de les mettre a jour. Le module permettant d'utiliser les connaissances est dote d'un algorithme de calcul de subsomption correct, complet et polynomial. Le module permettant de mettre a jour les connaissances s'integre dans un cadre pac-apprenable (i. E. L'apprentissage est de complexite spatiale et temporelle polynomiales, et converge en un sens probabiliste). L'etude theorique de c-classic## est basee sur la definition d'un cadre algebrique comprenant notamment une semantique intensionnelle dans laquelle les concepts sont denotes par une forme normale de l'ensemble de leurs proprietes. Ces formes normales sont utilisees en entree des algorithmes d'inference deductifs et inductifs