Système à base de connaissances pour quelques problèmes aux valeurs propres
Résumé
Ce rapport présente un système à base de connaissances pour la librairie Lapack d'aide au choix de procédure et à la validation de résultat. Le système s'intéresse aussi à la qualite numérique du résultat. Il peut à la fois conseiller une procédure et vérifier la validité d'une procédure donnée pour résoudre un problème de l'usager. Le systeme repose sur le logiciel Shirka écrit en Le-Lisp qui met en oeuvre des bases de connaissances à objets avec classification. Toute la connaissance est contenue dans des objets organisés en hiérarchies.