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

CHAPITRE 5 IMPLÉMENTATION D’UN SYSTÈME OPÉRATIONNELnouveau langage va ainsi permettre de regrouper ces connaissances sur les coefficient derésistance en les rattachant à un même objet sous forme de critères – au sens d’ensemblede règles comme dans le langage YAKL – d’initialisation et de modification.5.4.2 RéalisationUn nouveau moteur d’inférence et un langage associé ont ainsi été implémentés àpartir des idées de base développées au-dessus. La mise au point de ces outils informatiquesa été réalisée à l’INRIA Sophia-Antipolis par Sabine Moisan à partir des deuxacquis suivants :– un modèle conceptuel de la tâche de calage – défini au chapitre 4 – et en particulierl’ontologie ONTOVAL, qui identifie et décrit les concepts génériques du calage(figure 4.3, p. 88), et une description de la méthode de résolution associée (diagrammesd’activités UML, figures 4.8 à 4.15) ;– une plate-forme logicielle nommée LAMA (Moisan, 1998), qui fournit un environnementunifié et des boîtes à outils pour construire, analyser et adapter tous leséléments logiciels nécessaires à la réalisation de systèmes à base de connaissances(moteurs d’inférence, interfaces, langage de description de connaissances, etc.).Notre expérience au cours de la réalisation du prototype CARMA-1 nous a permisd’identifier les modifications à apporter, d’une part au langage de description desconnaissances fourni aux experts, et d’autre part au moteur d’inférence qui réalise leraisonnement. Ces deux outils doivent permettre de décrire et de manipuler tous lesconcepts génériques identifiés dans l’ontologie ONTOVAL.OVAL, un langage de représentation de connaissances pour le calageTout d’abord, le langage doit permettre à un expert d’exprimer des spécialisationsdes concepts généraux du calage pour son domaine. Pour cela nous proposons unesyntaxe simple et lisible.Le nouveau langage, nommé OVAL – pour Operational Validation Language – s’inspirede la syntaxe du langage YAKL, dont il se différencie sur deux points principaux.Tout d’abord, en accord avec le modèle conceptuel, il intègre bien évidemment deséléments syntaxiques pour décrire des concepts du calage – inconnus en pilotage – telsque le modèle numérique à caler, le code de calcul utilisé, le système physique considéréet des données sur ce système, des événements passés et des données sur ces événements etc.Un point important à noter est l’intégration du concept d’objectif de la tâche, regroupantle domaine d’application visé et le niveau de correspondance attendu définis dans leréférentiel de Refsgaard et Henriksen (2004).Le langage OVAL permet de plus d’associer des connaissances de raisonnement àcertains de ces concepts, sous forme de nouveaux critères, toujours constitués commedans le langage YAKL de règles de production :– des critères de définition, d’initialisation, et de modification, associés aux donnéesdu système, permettent de décrire comment définir les paramètres à caler, leurattribuer une valeur initiale, et modifier celle-ci si un ajustement est nécessaire ;– des critères de sélection, d’affectation et de comparaison, associés aux types d’événements(par exemple une crue), permettent de décrire comment choisir toutd’abord un événement particulier comme référence pour un calage et comment,le cas échéant, distribuer les rôles (entrée/référence) aux données événementielles143