On the Design of an Expert Help System
for Computer Algebra Systems

artigo Expert Help SystemOn the Design of an Expert Help System for Computer Algebra Systems. On the Design of an Expert Help System for Computer Algebra System SIGSAM Bulletin (ISSN 0163-5824) v. 24, n. 4, pp. 22-24, out. 1990.

It is our intention here only to discuss the nature, complexity and tools concerning the design of Smart Help, an expert help facility for aiding users of Computer Algebra Systems. Although the expert help system presented here has been particularly oriented to REDUCE (as a consequence of our former experience with this system), we point out that the concept of Smart Help can be extended to other Computer Algebra Systems. Technically, Smart Help is a Production System on the top of a particular implementation of MANTRA,  a hybrid knowledge representation system, which has REDUCE integrated as an additional knowledge representation module. Since the heuristic level of MANTRA has not yet been implemented, being presently represented by the Lisp language itself, Smart Help is coded in Lisp and resides in the same Lisp session of MANTRA. A prototype of Smart Help is now running on a SUN work-station on an experimental basis.

downloadAdobe file (.pdf)


  • dos SANTOS, Renato P., and ROQUE, Waldir L. An Expert Help System for Computer Algebra Systems, internal report, Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, 1990.
  • HEARN, Anthony C. REDUCE User's Manual: Version 3.3, RAND Publication CP78,  The Rand Corporation, Santa Barbara, Calif., 4/1987.
  • MacCALLUM, M.A.H., and WRIGHT, Francis. REDUCE Lecture Notes, in REBOUÇAS, M.J. (ed.),  proceedings of the I Brazilian School on Computer Algebra,  vol. I, Oxford University Press (forthcoming book), 1990.
  • HARPER, David. Reduce Forum, 23/8/1989; SCHOEPF, Rainer M. Reduce Forum, 24/8/1989;  LAMBE, Larry A. Reduce Forum, 24/8/1989;  AGER, Tryg. Reduce Forum, 24/8/1989; DEWAR, Mike. Reduce Forum, 24/8/1989; MARTI, Jed. Reduce Forum, 2/8/1990; WRIGHT, Francis. Reduce Forum, 2/8/1990; COPELAND, Gary. Reduce Forum, 2/8/1990.
  • SLEEMAN, D. and BROWN, J.S. Intelligent Tutoring Systems, Academic Press, London, 1982.
  • BITTENCOURT, Guilherme. The MANTRA Reference Manual, Interner Bericht 2/90, Univ. Karslruhe, Fak.f.Informatik, Karlsruhe, West Germany, 1/1990; 
  • BITTENCOURT, Guilherme. An Architecture for Hybrid Knowledge Representation. PhD Thesis, Univ. Karslruhe, Fak.f.Informatik, Karlsruhe, West Germany, 31/1/1990.
  • MARTI, Jed. The Role of Explanation in Symbolic Computation, in INADA, N. and SOMA, T. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, World Scientific, Philadelphia, PA, 1984.
  • De SMEDT, Koenrad.  Object-Oriented Programming in FLAVORS and CommonORBIT, in HAWLEY, R., (ed.), Artificial Intelligence Programming Environments: 157-176, Ellis Horwood Limited, 1987.
  • CALMET, Jacques, Intelligent Computer Algebra System: Myth, Fancy or Reality? in JANSSEN, R., (ed.), Trends in Computer Algebra (Lecture Notes in Computer Science 296):3--11, Springer-Verlag, 1987; CALMET, Jacques, TJANDRA, I.A., and BITTENCOURT, G., An Environment for Mathematical Knowledge Representation, SIGSAM Bull., 24(3):47--48, 7/90.

Voltar a Artigos Científicos.

Citar esta página:
dos SANTOS, Renato P. . In Física Interessante. 7 Apr. 2016. Disponível em: <>. Acesso em: .

Voltar ao começo desta página

Voltar à página principal de Física Interessante

e-books Grátis

View Renato P. dos Santos's profile on LinkedIn

Renato P. dos Santos

Física Interessante no Google+

CSS válido!