Assistance au calage de modèles numériques en hydraulique ... - TEL

CHAPITRE 5 IMPLÉMENTATION D’UN SYSTÈME OPÉRATIONNELUne plate-forme pour la génération de moteursL’expérience accumulée avec le moteur OCAPI a permis de définir une librairie d’élémentscommuns pour construire des moteurs de pilotage de programmes (Vincentet al., 1996). Cette librairie a été intégrée dans une plate-forme – nommée LAMA –d’aide à la construction de moteurs de systèmes à base de connaissances (Moisan, 1998).De nombreux moteurs ont pu être construits à partir de cette plate-forme (Crubézyet al., 1998; Thonnat et al., 1999) : PULSAR (van den Elst, 1996), appliqué à la détectiond’obstacles pour la conduite de véhicules, MEDIA (Crubézy et al., 1995, 1997),appliqué à la gestion d’images médicales, mais aussi PEGASE+.5.2.2 Outils pour le pilotage de programmesCette section vise à décrire plus précisément les deux outils qui vont nous servirpour la construction du système d’assistance au calage CARMA-1 : le moteur d’inférencePEGASE+ et le langage textuel de représentation de connaissances associé, appeléYAKL 10 . Ceux-ci sont décrits précisément par Moisan (2003) 11 et nous reprenons iciseulement les grandes lignes de ces deux outils, retracées par ailleurs dans différentsarticles (Moisan et Ziébelin, 2000; Thonnat et Moisan, 2000; Moisan, 2002).YAKL, un langage de représentation de connaissancesLe langage YAKL permet de rendre compte de manière à la fois lisible et formelle desconnaissances nécessaires à la tâche de pilotage de programmes (Moisan et al., 1997).Sa proximité du langage ✭ courant ✮ permet une capitalisation de ces connaissances envue d’un échange, tout comme les livres de connaissances proposés par Picard (Moisan etErmine, 2000), et son caractère formel facilite la traduction de ces connaissances dansun langage de programmation – ici le C++ – en vue de leur opérationalisation. Celangage comporte trois types principaux d’éléments : les arguments, les opérateurs et lescritères, auxquels se rajoutent les fonctionnalités et les requêtes.ArgumentsLes arguments permettent de décrire les éléments utilisés et produits par les différentsprogrammes. La figure 5.2 présente un exemple de déclaration d’une part d’untype d’argument et d’autre part d’une instance de ce type d’argument. Dans le sensdes langages orientés objet, un type d’argument correspond à une classe et une instanced’argument à un objet, c’est-à-dire une instance d’une classe.OpérateursUn opérateur correspond soit à un programme – il est désigné sous le nom de PrimitiveOperator – soit à un enchaînement de programmes – il est alors décrit comme unComposite Operator. Un opérateur composite peut représenter différents types d’enchaînementsde programmes : exécution séquentielle, alternative ou parallèle. La figure 5.3représente l’arborescence des opérateurs utilisés pour réaliser une simulation avec lecode MAGE.10. Pour Yet Another Knowledge Language.11. Le rapport est téléchargeable sur www.inria.fr127