Recherche Avancée

Thèse soutenue

Shood : un modèle méta-circulaire de représentation de connaissances

FR  |  
EN
Auteur / Autrice : José Guadalupe Escamilla de los Santos
Direction : Gia Toan Nguyen
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1993
Etablissement(s) : Grenoble INPG
Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)

Résumé

FR

"la 4e de couverture indique : Cette thèse définit un modèle de représentation de connaissances adapte aux besoins des applications de CAO. Le modèle proposé, appelé Shood, s'inspire de concepts issus des systèmes de représentation de connaissances et des langages orientes objet. Shood répond aux besoins de puissance de représentation (aspects déclaratifs), d'intégration des outils de calcul (aspects procéduraux) et d'évolution des besoins (extensibilité) des applications de CAO. Dans Shood, la sémantique des liens structurant la connaissance (héritage multiple, disjonction et instanciation multiple) est fondée sur des relations ensemblistes. Les attributs sont définis par des descripteurs qui peuvent être enrichis. Les descripteurs de base permettent de typer les attributs (descripteur de type), de leur associer une méthode de calcul automatique (descripteur d'inférences) et de restreindre leurs valeurs de façon procédurale (descripteur de contraintes). Les méthodes Shood sont basées sur le concept de fonction générique. Un mécanisme de classification permet de choisir avec précision la méthode la plus adaptée en fonction des valeurs des arguments en entrée. Les méthodes peuvent être réutilisées grâce aux mécanismes de spécialisation déclarative et procédurale. L'extension du modele est possible grâce à sa définition réflexive: les concepts de Shood sont définis en termes d'eux-mêmes grâce à un niveau méta"