artigo
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).
Abstract
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.
download
Referências
- 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