artigo
On the Design of an Expert Help System
for
Computer Algebra Systems
On the Design of an
Expert Help System for Computer Algebra Systems.
SIGSAM
Bulletin (ISSN 0163-5824) v. 24, n. 4, pp. 22-24,
out. 1990.
Abstract
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.
download
Referências
- 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. 17 Jul. 2021. Disponível em: <>. Acesso em: .
Voltar ao começo
desta página
Voltar à página principal de Física Interessante