Abstract FR:

La construction d'un systeme a base de connaissances commence par la definition d'un modele conceptuel, c'est-a-dire un ensemble de primitives de modelisation et un controle sur ces primitives. Zola est un langage qui permet de representer et d'operationaliser des modeles conceptuels de raisonnement. Sa specificite essentielle est qu'il est concu pour le prototypage : il permet de construire et de modifier des primitives et des structures de controle adaptees a l'expertise etudiee. Zola permet le respect du principe de correspondance structurelle, c'est-a-dire une implantation ou chaque notion du modele conceptuel correspond a un element du systeme operationnel. Les connaissances du domaine sont structurees dans une hierarchie. Les operations manipulant les connaissances sont definies a l'aide de profils d'operations predefinis. Les informations qui ne font pas partie du modele conceptuel ou qui ne sont pas directement accessibles sont representees separement et attachees aux notions du modele conceptuel. Le controle peut etre represente de facon algorithmique ou par un systeme a base de connaissances autonome. Zola permet la reflexivite structurelle (les operations zola peuvent analyser directement d'autres operations zola), ce qui permet de construire des outils qui analysent la facon dont les notions du modele sont implantees dans le prototype. Zola permet egalement la reflexivite conceptuelle (il est possible de raisonner sur les notions du modele conceptuel apparaissant dans le prototype), ce qui permet de construire des outils qui analysent le modele conceptuel pour mettre en evidence ses particularites ou de definir un controle reflexif. Ces deux types d'outils d'analyse du prototype permettent d'obtenir des informations pertinentes sur le modele conceptuel et favorisent la mise au point d'une demarche de prototypage. Cette these presente le langage zola, ainsi que deux applications developpees a l'aide du langage zola.