Shood : un modéle méta-circulaire de représentation de connaissances
Résumé
This thesis defines Shood, a knowledge representation model suited for CAD applications. Knowledge Representation Systems and Object Oriented Languages are the inspiration sources of the Shood model. Shood meets three kinds of CAD application requirements: representation power (declarative aspects), integration of computation tools (procedural aspects) and requirement evolution (extensibility). The semantics of its knowledge structuring links (multiple inheritance, disjonction and multiple instantiation) is based on set relationships. Attributs are defined by an extensible set of descriptors. The initial set of descriptors allows the definition of typed attributs, methods for automatic computing attribut values ("inferences") and procedural constraints on attribut values ("constraints"). Shood methods allow the definition of generic functions. Input arguments are used by a classification mecanism to find the best suited method to execute. Methods can be reused in a declarative or procedural style. Extensibility is achieved by the reflexive definition of the model: Shood concepts are defined in terms of Shood concepts themselves using meta-classes.
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.