previous up next contents
Précédent : Démarche Remonter : Aide à la Suivant : Application : pronostic

Outil pour décrire des modèles d'expertise CommonKADS : COKACE

Participant : Olivier Corby

Nous avons développé sous CENTAUR (générateur d'environnements de programmation développé dans le projet CROAP) un prototype d'environnement pour le langage CML. Nous avons défini les syntaxes concrète et abstraite de CML, un paragrapheur PPML ainsi que des éléments de sémantique statique et dynamique de CML sous forme de règles TYPOL. Cela permet de disposer ainsi d'un éditeur syntaxique, d'un vérificateur de type et d'un interprète pour CML. L'interprète permet à l'utilisateur de lancer un raisonnement en invoquant une tâche avec des paramètres d'entrée. Une tâche invoque des sous-tâches qui elles mêmes déclenchent des inférences. Pour cela, nous avons précisé la syntaxe de CML, en particulier pour le langage de contrôle des tâches. Enfin, les inférences sont réalisées par des déductions dans des modèles de domaine. Nous avons intégré le passage complet de paramètres entre tâches et inférences. Nous avons développé des moteurs d'inférences de type chaînage avant et arrière grâce à des règles TYPOL. Nous avons implanté également un mécanisme d'héritage sur les concepts du domaine. Le raisonnement sur des modèles d'expertise permet donc une validation de ces modèles COMMONKADS avant l'implémentation du système final. Ce prototype, COKACE (i.e. COMMONKADS-CENTAUR), montre la faisabilité d'un environnement adapté à CML sous CENTAUR, permettant de guider le cogniticien dans la construction de programmes CML avec des vérifications tant syntaxiques que sémantiques [23].

Comme cela sera décrit dans les sections 3.3.3 et 3.4.2, plusieurs de nos travaux se traduiront par la proposition de nouveaux modèles étendant la méthode COMMONKADS (modèles de coopération, de conflit, d'explication). Ces modèles pourront partiellement être décrits dans le langage CML en exploitant l'outil COKACE.


previous up next contents
Précédent : Démarche Remonter : Aide à la Suivant : Application : pronostic