artigo
An
Expert Help System
for Computer Algebra Systems
An Expert Help System
for Computer Algebra Systems.
(não publicado).
Abstract
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.
download
Referências
- 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