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

par Ventos, Véronique

Thèse de doctorat en Sciences appliquées

Sous la direction de Daniel Kayser.

Soutenue en 1997

à Paris 13 .


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 244 P.
  • Annexes : 89 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TH 1997 084
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : VENTOS c
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.