The Architecture of Smart Help:
An Expert Help System for Computer Algebra Systems

The Architecture of Smart Help: An Expert Help System for Computer Algebra Systems. (não publicado).

We present here the architecture, operation and tools concerning the design of Smart Help, an expert help system for aiding users of Computer Algebra Systems. Smart Help is implemented in the knowledge representation system shell MANTRA, a hybrid system which supports the logic, frame, semantic networks and production rules knowledge representation methods.  Presently, the Smart Help domain knowledge base concerns REDUCE.

downloadAdobe file (.pdf)


  • BOYLE, Ann and CAVINESS, B.F. (eds.). Future Directions for Research in Symbolic Computation - Report of a Workshop on Symbolic and Algebraic Computation, April 29-30, 1988, Washington, DC, Society for Industrial and Applied Mathematics, Philadelphia, 1990, chapter 3.
  • BUCHBERGER, Bruno (ed.). Symbolic Mathematical Systems and their Effects on the Curriculum, special session in the 5th. International Conference on Mathematical Education, Adelaide, Australia, 24-30/8, 1984. SIGSAM Bull. 18(4),  11/1984.
  • BUCHBERGER, Bruno. Should Students Learn Integration Rules? Technical Report, RISC Johannes Kepler University, Linz, Austria, 13/3/1989.
  • HEARN, Anthony C. REDUCE User's Manual: Version 3.3, RAND Publication CP78, Santa Barbara, Calif. : The Rand Corporation, 4/1987.
  • MacCALLUM, M.A.H., and WRIGHT, Francis. Algebraic Computing with REDUCE, In: REBOUÇAS, M.J. (ed.). Lecture Notes from the I Brazilian School on Computer Algebra, vol. I, Oxford University Press (forthcoming book), 1990.
  • GENESERETH, Michael R. An Automated Consultant for MACSYMA, In: IJCAI 5 (proceedings of International Joint Conference on Artificial Intelligence, Cambridge, Mass., 8/77), 1977, p. 789.
  • 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. London : Academic Press, 1982.
  • BITTENCOURT, Guilherme. The MANTRA Reference Manual. Interner Bericht 2/90, Univ. Karslruhe, Fak.f.Informatik, Karlsruhe, 1/1990; idem. An Architecture for Hybrid Knowledge Representation. PhD Thesis, Univ. Karslruhe, Fak.f.Informatik, Karlsruhe, 31/1/1990.
  • CALMET, Jacques; TJANDRA, I.A. & and BITTENCOURT, G. An Environment for Mathematical Knowledge Representation. SIGSAM Bull. v. 24, n. 3, pp. 47-48, 7/90.
  • PATEL-SCHNEIDER, Peter F. A Decidable First-Order Logic for Knowledge Representation. In: IJCAI 9 (proceedings of International Joint Conference on Artificial Intelligence, Los Angeles, Calif., 8/85, Palo Alto, Calif. : Morgan Kaufmann Publishers, Inc., 1985, pp. 455-458.
  • FRISCH, A.M. Knowledge Retrieval as Specialized Inference. Report No. 214, Department of Computer Science, University of Rochester, May 1987.
  • BRACHMAN, Ronald J. and LEVESQUE, Hector J. The Tractability of Subsumption in Frame-Based Description Languages. In: proceedings AAAI-84 (Fifth National Conference on Artificial Intelligence, Austin, Texas, 1984), Palo Alto, Calif. : Morgan Kaufmann Publishers, Inc., 1984.
  • HORTY, J.F.; THOMASON, R.H. and TOURETZKY, D.S. A Skeptical Theory of Inheritance in Nonmonotonic Semantic Nets. Technical Report CMU-CS-87-175, Pittsburgh, Pa. : Carnegie-Mellon University, Computer Science Department, 10/1987.
  • MARTI, Jed. The Role of Explanation in Symbolic Computation. In: INADA, N. and SOMA, T., (eds.). The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers'', Philadelphia, PA : World Scientific, 1984, pp. 14-34.
  • De SMEDT, Koenraad. Object-Oriented Programming in FLAVORS and CommonORBIT. In: HAWLEY, R., (ed.). Artificial Intelligence Programming Environments'', Ellis Horwood Limited, 1987, pp.  157-176.
  • CALMET, Jacques. Intelligent Computer Algebra System: Myth, Fancy or Reality? In: JANSSEN, R., (ed.). Trends in Computer Algebra (proc. International Symposium, Bad Neuenahr, 5/87, Lecture Notes in Computer Science v. 296, Heidelberg : Springer-Verlag, 1987, pp. 3-11.

Voltar a Artigos Científicos.

Citar esta página:
dos SANTOS, Renato P. . In Física Interessante. 17 Jul. 2021. 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