Dans le cadre de recherches menées pour concevoir un langage et une démarche de spécification abstraite des systèmes experts calquée sur le génie logiciel classique, ce document propose d'une part une analyse des besoins en ALBERT (langage d'analyse des besoins orienté-objet et basé sur le concept d'agent), d'un système expert chargé de résoudre le célèbre problème du singe et des bananes, et d'autre part une démarche de spécification abstraite du même problème en utilisant KIF (langage de représentation abstraite des connaissances d'un système expert). Outre ces deux spécifications, nous proposerons une esquisse de transformation d'ALBERT à KIF, ainsi qu'une évaluation de KIF en tant que langage de spécification abstraite, et une solution personnelle de spécification (en KIF) de la métaconnaissance du problème.
la date de réponse | 1993 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Éric Dubois (Promoteur) |
---|
Approche transformationnelle du développement des systèmes experts: Une démarche d'analyse des besoins en ALBERT et de spécification abstraite de solution en KIF d'un problème de planification
Blondiau, J. (Auteur). 1993
Student thesis: Master types › Master en sciences informatiques