Cette these definit un modele de representation de connaissances adapte aux besoins des applications de CAO. Le modele propose, appele Shood, s'inspire de concepts issus des systemes de representation de connaissances et des langages orientes objet. Shood repond aux besoins de puissance de representation (aspects declaratifs), d'integration des outils de calcul (aspects proceduraux) et d'evolution des besoins (extensibilite) des applications de CAO. Dans Shood, la semantique des liens structurant la connaissance (heritage multiple, disjonction et instanciation multiple) est fondee sur des relations ensemblistes. Les attributs sont definis par des descripteurs qui peuvent etre enrichis. Les descripteurs de base permettent de typer les attributs (descripteur de type), de leur associer une methode de calcul automatique (descripteur d'inferences) et de restreindre leurs valeurs de fac,on procedurale (descripteur de contraintes). Les methodes Shood sont basees sur le concept de fonction generique. Un mecanisme de classification permet de choisir avec precision la methode la plus adaptee en fonction des valeurs des arguments en entree. Les methodes peuvent etre reutilisees grace aux mecanismes de specialisation declarative et procedurale. L'extension du modele est possible grace a sa definition reflexive: les concepts de Shood sont definis en termes d'eux-memes grace a un niveau meta.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00005126 |
Date | 01 October 1993 |
Creators | Escamilla De Los Santos, Jose Guadalupe |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0021 seconds