inria-00074698, version 1
Système à base de connaissances pour quelques problèmes aux valeurs propres
N° RR-1975 (1993)
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.
- 1 : ALADIN (INRIA - IRISA)
- CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
- Domaine : Informatique/Autre
- Référence interne : RR-1975
- inria-00074698, version 1
- http://hal.inria.fr/inria-00074698
- oai:hal.inria.fr:inria-00074698
- Contributeur : Rapport De Recherche Inria
- Soumis le : Mercredi 24 Mai 2006, 16:06:16
- Dernière modification le : Mercredi 20 Décembre 2006, 08:57:44






Documents associés

Exporter