On the design of an expert system guide for the use of scientific software. (English) Zbl 0689.68112
Summary: The use of scientific software libraries often creates problems in the management and choice of suitable software component(s) for a given case. This document describes an expert system facilitating the choice of the most suitable component(s) for a given problem. First, the system takes the physical characteristics of a given problem and determines a suitable theoretical framework within which to treat the problem. It is possible to make this determination by means of a vast knowledge base, broken down into several rule groups and exploited using meta-knowledge of this structure. Taking the user’s needs into consideration (expected quality of results and available data processing resources), the system evaluates performances of components which are compatible with the theoretical framework selected, using a knowledge base which corresponds to each component. The components are thus sorted according to their suitability for solving the user’s problem. This methodology is implemented in a mock-up dedicated to space mechanics, for the precise evaluation of satellite motion.
MSC:
| 68T20 | Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) |
| 68U99 | Computing methodologies and applications |
| 68N99 | Theory of software |
Software:
NITPACKReferences:
| [1] | Vivet, M., Expertise mathématique et informatique CAMELIA, un logiciel pour raisonner et calculer, (Thèse de Docteur és Sciences (juin 1984), Université Pierre et Marie Curie: Université Pierre et Marie Curie Paris VI) |
| [2] | Gaffney, P. W.; Wooten, J. W.; Kessel, K. A.; McKinney, W. R., NITPACK: An interactive tree package, ACM Trans. Math. Software, 9, 395-417 (1983) |
| [3] | Gaffney, P. W.; Wooten, J. W.; Kessel, K. A.; McKinney, W. R., ALGORITHM 606. NITPACK: an interactive tree package, ACM Trans. Math. Software, 9, 418-426 (1983) |
| [4] | Gaffney, P. W.; Wooten, J. W.; Kessel, K. A.; McKinney, W. R., NEXUS. Towards a problem solving environment (PSE) for scientific computing, ACM Special Interest Group on Numerical Mathematics, 21, 13-24 (1986) |
| [5] | Demonchaux, E.; Quinqueton, J.; Ralamondrainy, H., Une application de l’intelligence artificielle à l’analyse des données, (Les Systèmes Experts et Leurs Applications. Les Systèmes Experts et Leurs Applications, Avignon (mai 1984), Agence de l’Informatique Editeur) |
| [6] | Jonchers, V., Knowledge based selection and coordination of specialized algorithms, (Les Systèmes Experts et Leurs Applications, Cinquième Journées Internationales. Les Systèmes Experts et Leurs Applications, Cinquième Journées Internationales, Avignon (mai 1985), Agence de l’Informatique Editeur) |
| [7] | Saurel, C., Systèmes experts d’assistance aux réalisateurs de logiciels scientifiques, (Les Systèmes Experts et Leurs Applications, Cinquième Journées Internationales. Les Systèmes Experts et Leurs Applications, Cinquième Journées Internationales, Avignon (mai 1985), Agence de l’Informatique Editeur) |
| [8] | Daillet, S., Modèles de potential disponibles en MSDON: utilisation de la procédure intéractive SELECT, CNES Toulouse, CT/DTI/MS/AE/103 (17 aout 1982) |
| [9] | Cheng, Y.; Fu, K. S., Conceptual Clustering in Knowledge Organization, (First IEEE Conference on Artificial Intelligence Application. First IEEE Conference on Artificial Intelligence Application, Denver CO (December 1984)) |
| [10] | Kornell, J., A satellite with a good attitude: an expert system for stationkeeping, (Robinson, G. S., IEEE Western Conference on Knowledge-based Engineering and Expert Systems. IEEE Western Conference on Knowledge-based Engineering and Expert Systems, Westex-86 (1986)), 111-117 |
| [11] | Jambu, M., Classification Automatique pour l’Analyse des Données (1979), Dunod: Dunod Paris |
| [12] | Farreny, H., Les Systèmes Experts: Principes et Exemples (1985), Cepadues |
| [13] | Lecot, K.; Parker, D. Stott, Customizable inexact reasoning, (Robinson, G. S., IEEE Western Conference on Knowledge-based Engineering and Expert Systems. IEEE Western Conference on Knowledge-based Engineering and Expert Systems, Westex-86 (1986)), 95-101 |
| [14] | Shortliffe, E. H., Computer-based medical consultations: MYCIN (1976), Elsevier: Elsevier New York |
| [15] | Dubois, D.; Prade, H., Application à la Représentation des Connaissances en Informatique, (Théories des possibilités (1985), Masson: Masson Paris) · Zbl 0674.68059 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
