Abstract
This paper gives a brief historical perspective on the first author's use of information systems in mathematical consulting. Experience in this area has led to the conclusion that numerical analysts must look beyond conventional expert systems if they are to be successful in reaching the general scientific user community. With the increasing use of personal workstations it is necessary to give information and advice to a user while at the computer terminal. In the opinion of the authors the ideal way of doing this is through a programming environment that offers interaction with a user in order to actually solve the user's problem.Such an environment has come to be called a Problem Solving Environment or PSE. (For an excellent discussion of PSEs see Ford and Iles, 1985.) This paper describes a project that is aimed at providing a PSE for scientific computing. The project, which is called NEXUS, can be viewed conveniently in two parts, namely, the development of a set of software modules for constructing and accessing information in a knowledge base and the production of a set of knowledge bases for a particular application area namely, mathematical software.The paper briefly describes the set of modules and knowledge bases that are under development for the first release of NEXUS. For a more complete description the reader is referred to the companion report by Gaffney et al., (1986a).
- Addison, C. A., W. Enright, P. W. Gaffney, I. Gladwell, P. M. Hanson (1986a). "A decision tree for the numerical solution of initial-value ordinary differential equations", CMI report CCS 86/3 in preparation.]]Google Scholar
- Addison, C. A., W. Enright, P. W. Gaffney, I. Gladwell, P. M. Hanson (1986b). "A decision tree for the numerical solution of boundary-value ordinary differential equations", CMI report CCS 86/12 in preparation.]]Google Scholar
- Aho, A. V., J. E. Hopcroft, J. D. Ullman (1983). "Data Structures and Algorithms", Addison-Wesley, reading Massachusetts.]] Google ScholarDigital Library
- Andersen, B. and S. Bjørnestad (1986). "GENTREE - A decision tree builder for use with NITPACK," CMI report CCS 86/8 in preparation.]]Google Scholar
- ANSI/MIL-STD-1815A (1983). "Reference Manual for the ADA Programming Language," United States Department of Defense, Washington D.C., January 1983.]]Google Scholar
- Barnes, J. G. P. (1984). "Programming in ADA, Second Edition," Addison-Wesley, London, 1984.]] Google ScholarDigital Library
- Brent, R. P. (1978a). "A Fortran multiple-precision arithmetic package," ACM Trans. Math. Softw., 4 (1978a), 57--70.]] Google ScholarDigital Library
- Brent, R. P. (1978b). "Algorithm 524. MP, A Fortran multiple-precision arithmetic package," ACM Trans. Math. Softw., 4 (1978b), 71--81.]] Google ScholarDigital Library
- Buckley, A. (1982). "A portable package for testing minimization algorithms," in "Evaluating Mathematical Programming Techniques," John M. Mulvey, ed. Springer-Verlag, New York, 1982.]]Google Scholar
- Cody, W. J. (1969). "Performance testing of function subroutines," AFIPS conference proceedings, 34 (1969), 759--763.]]Google Scholar
- Denning, P. J. (1986). "The science of computing, Expert Systems," American Scientist, 74 (1986), 18--20.]] Google ScholarDigital Library
- England, R. E. (1986). "An Algorithm for Concurrent Path Traversal in the Digraph Data Structure for the NEXUS Problem Solving Environment," CMI report CCS 86/4 in preparation, 1986.]]Google Scholar
- England, R. E., P. W. Gaffney (1986). "Man---machine interaction using NEXUS," CMI report CCS 86/7 in preparation.]]Google Scholar
- England, Robert E. (1985). "NEXUS: A grammar based, menu driven extension for the NITPACK decision tree software," Master's thesis, The University of Tennessee, Knoxville, Tennessee, USA, June 1985.]]Google Scholar
- Ford, B. and R. M. Iles (1985). "The What and Why of Problem Solving Environments for Scientific Computing." IFIP WG.2.5 Working Conference 4, PROBLEM SOLVING ENVIRONMENTS FOR SCIENTIFIC COMPUTING, Sophia-Antipolis June 17-21, (1985).]]Google Scholar
- Gaffney, P. W. (1981). "Information and Advice on Numerical Software," Oak Ridge National Laboratory Technical Report, ORNL/CSD/TM-147, (1981).]]Google Scholar
- Gaffney, P. W., J. W. Wooten, K. A. Kessel and W. R. McKinney (1983a). "NITPACK: An Interactive Tree Package," ACM Trans. Math. Software, 9 (1983a), 395--417.]] Google ScholarDigital Library
- Gaffney, P. W., J. W. Wooten, K. A. Kessel and W. R. McKinney (1983b). "ALGORITHM 606. NITPACK: An Interactive Tree Package," ACM Trans. Math. Software, 9 (1983b), 418--426.]] Google ScholarDigital Library
- Gaffney, Patrick W. (1984). "A Performance Evaluation of Some FORTRAN Subroutines for the Solution of Stiff Oscillatory Ordinary Differential Equations," ACM Trans. Math. Software, 10 (1984), 58--72.]] Google ScholarDigital Library
- Gaffney, P. W., C. A. Addison, B. Andersen, S. Bjørnestad, R. E. England, P. M. Hanson, R. Pickering, M. G. Thomason (1986a). "NEXUS Towards a Problem Solving Environment (PSE) for Scientific Computing," CMI report CCS 86/2 1986.]]Google Scholar
- Gaffney, P. W. (1986b). "A Package of FORTRAN Subroutines for Testing Software for Special Functions," CMI report CCS 86/6 in preparation., 1986.]]Google Scholar
- Gaffney, P. W., (in preparation). "A Companion to Numerical Software," Oxford University Press.]]Google Scholar
- Gill, P. E., S. J. Hammarling, W. Murray, M. A. Saunders and M. H. Wright (1986). "User's Guide for LSSOL (Version 1.0): A Fortran Package for Constrained Linear Least-Squares and Convex Quadratic programming," Report SOL 86-1, Department of Operations Research, Stanford University, (1986).]]Google Scholar
- Gupta Gopal K. (1985). "Description and evaluation of a stiff ODE code DISTIFF," SIAM J. Sci. Stat. Comput., 6 (1985), 939--950.]]Google ScholarDigital Library
- Hiebert, K. L. (1981). "An evaluation of mathematical software that solves nonlinear least squares problems," ACM Trans. Math. Softw.7 (1981), 1--16.]] Google ScholarDigital Library
- Hock, W. and K. Schittkowski (1981). "Test examples for nonlinear programming codes," Lecture Notes in Economics and Mathematical Systems187, Springer-Verlag, New York, 1981.]] Google ScholarDigital Library
- Laan, van der. C. G., N. M. Temme (1984). "Calculation of special functions: the gamma function, the exponential integrals and error-like functions," CWI Tract10 (1984).]] Google ScholarDigital Library
- Machura, M. and R. A. Sweet (1980). "A survey of software for partial differential equations," ACM Trans. Math. Softw., 6 (1980), 461--488.]] Google ScholarDigital Library
- Moré, J. J., B. S. Garbow, and K. E. Hillstrom (1981). "Testing unconstrained optimization software," ACM Trans. Math. Softw.7 (1981), 17--41.]] Google ScholarDigital Library
- Ortega, J. M., and R. G. Voigt (1985). "Solution of partial differential equations on vector and parallel computers," SIAM Review, 27 (1985), 149--240.]]Google ScholarCross Ref
- Pancer, R. N. (1985). "GED-a Graph EDitor for Labelled Simple Directed Acyclic Graphs," Master of Science thesis, Department of Computer Science, University of Toronto, 1985.]]Google Scholar
- Piessens, R., E. de Doncker-Kapenga, C. W. Überhuber, D. K. Kahaner (1983). "QUADPACK, A Subroutine Package for Automatic Integration," Springer-Verlag, New York, 1983.]]Google Scholar
Recommendations
The differential use and effect of knowledgebased system explanations in novice and expert judgment decisions
Explanation facilities are considered essential in facilitating user interaction with knowledge-based systems (KBS). Research on explanation provision and the impact on KBS users has shown that the domain expertise affects the type of explanations ...
Knowledge acquisition for knowledge-based engineering systems
This paper is essentially concerned with the development of formal representations of knowledge required prior to the development of knowledge-based engineering systems (KBESs). Initially, the paper provides a brief introduction to knowledge-based ...
Knowledge acquisition in the fuzzy knowledge representation framework of a medical consultation system
This paper describes the fuzzy knowledge representation framework of the medical computer consultation system MedFrame/CADIAG-IV as well as the specific knowledge acquisition techniques that have been developed to support the definition of knowledge ...
Comments