Intelligent user interfaces for symbolic and numeric computation

  • Michael E. Clarkson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 737)


We have implemented an intelligent user interface for the symbolic algebra system Macsyma, using a rule-based expert system based on Emycin. The system acts as an intelligent front-end, communicating with a back-end Macsyma sub-process. The rule base of the system has been extended to include knowledge about numerical solutions to problems that Macsyma is unable to solve algebraically, or on request by the user. The system incorporates an on-line documentation brower, and facilities to review and explain the results of a consultation. The system has been written using portable object-oriented programming techniques, based on CLOS and CLX.


Intelligent User Interface Expert Systems Symbolic Computation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    V. Ellen Golden, editor. Proceedings of the 1984 MACSYMA Users' Conference, General Electric, Schenectady N.Y, 1984.Google Scholar
  2. 2.
    J. Calmet and J. A. van Hultzen. Computer algebra applications. In B. Buchberger G. E. Collins and R. Loos, editors, Computer Algebra, Symbolic and Algebraic Computation, page 245. Springer Verlag, 1983.Google Scholar
  3. 3.
    M. E. Clarkson. A bibliography of computer algebra references. Artificial Intelligence and Image Analysis Laboratory Technical Report AI/IA-89/2, Institute for Space and Terrestrial Science, 108A Farquharson Bldg., 4700 Keele Street, North York, Ontario, M3J 1P3, 1989.Google Scholar
  4. 4.
    John Fitch, P. Herbert, and A. C. Norman. Design features of COBALG. In SYMSA C '76: Proceedings of the 1976 A CM Symposium on Symbolic and Algebraic Computation, page 185, New York, 1976. Association for Computing Machinery.Google Scholar
  5. 5.
    J. S. Kowalik, editor. Coupling Symbolic and Numerical Computing in Expert Systems, New York, 1986. Elsevier Science.Google Scholar
  6. 6.
    Bruce G. Buchanan and Edward H. Shortliffe, editors. Rule-Based Expert Systems: the MYCIN experiments of the Stanford Heuristic Programming Project. Addison-Welsley, Reading, Masschusetts, 1984.Google Scholar
  7. 7.
    S. Keene. Object-Oriented Programming in COMMON LISP. Adisson-Wesley, 1988.Google Scholar
  8. 8.
    P. Schank, J. Constan, C. Liu, L. Rowe, S. Seitz, and B. Smith. PICASSO Reference Manual. Technical report, Computer Science Division, University of California Berkeley, 1990.Google Scholar
  9. 9.
    L. Rowe, J. Constan, B. Smith, S. Seitz, and C. Liu. The PICASSO application framework. Technical report, Computer Science Division, University of California Berkeley, 1990.Google Scholar
  10. 10.
    R. W. Scheifler and O. LaMott. CLX programmer's reference. Technical report, Texas Instuments, 1989.Google Scholar
  11. 11.
    R. C. Waters. The programmer's apprentice: A session with KBEmacs. IEEE Transactions on Software Engineering, 11(11):1296, 1985.Google Scholar
  12. 12.
    R. F. Boisvert. Toward an intelligent system for mathematical software selection. In Einarsson [18], page 51.Google Scholar
  13. 13.
    P. Buis, W. Dyksen, and J. Korb. Fortran interface blocks as an interface description language for remote procedure call. In Einarsson [18], page 116.Google Scholar
  14. 14.
    R. F. Boisvert, S. E. Howe, and D. K. Kahaner. Gams: A framework for the management of scientific software. ACM Transactions on Mathematical Software, 11(4):313, 1985.Google Scholar
  15. 15.
    M. E. Clarkson. Expert systems as an intelligent user interface for symbolic algebra. In Einarsson [18], page 137.Google Scholar
  16. 16.
    K.A. Broughan, G. Keady, T. D. Robb, M. G. Richardson, and M. C. Dewar. Some symbolic computing links to the NAG numeric library. SIGSAM Bulletin, page 28, June 1991.Google Scholar
  17. 17.
    M. E. Clarkson. Praxis: An expert system for macsyma. In International Symposium on Design and Implementation of Symbolic Computation Systems, volume 429 of Lecture Notes in Computer Science, page 264, Berlin-Heidelberg-New York, 1990. Springer-Verlag.Google Scholar
  18. 18.
    B. Einarsson, editor. Working Conference on Programming Environments for High-Level Scientific Problem Solving (Karlsruhe, Germany), Bergen Scientific Centre, 23–27 September 1991. International Federation for Information Processing, IBM.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Michael E. Clarkson
    • 1
    • 2
  1. 1.Centre for Earth and Space ScienceYork UniversityNorth YorkCanada
  2. 2.Centre de Morphologie MathématiqueFontainebelauFrance

Personalised recommendations