An Expert Help System
for Computer Algebra Systems

An Expert Help System for Computer Algebra Systems. (não publicado).

In this paper we discuss the main features 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)


  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.

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