Abstract
Powerful computer workstations, communication networks, algebraic and numeric software systems are changing the way mathematicians work. Expert systems already provide user-friendly interfaces to several software tools, but will AI play a still larger role in the future? We open a discussion on the interaction of AI and Symbolic Mathematical Computation, and pose many questions which should be addressed.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
H. Abelson, M. Eisenberg, M. Halfant, J. Katzenelson, E. Sacks, G.J. Sussman, J. Wisdom, and K. Yip, Intelligence in scientific computing, CACM 32, 5 (1989) 546–562.
H. Aït-Kaci and A. Podelski, An overview of LIFE, Lecture Notes in Computer Science 504, Springer-Verlag, 1991, pp.42–58.
G. A. Boy, Intelligent Assistant Systems, Knowledge-Based Systems, volume 6, J. Boose and B. Gaines (eds), Academic Press, London, 1991.
R.S. Boyer and J.S. Moore, A Computational Logic, Academic Press, New York, 1979.
B. Buchberger, G.E. Collins, and R. Loos, Computer Algebra: Symbolic and Algebraic Computation, Springer-Verlag, Wien, 1982.
A. Bundy, The Computer Modelling of Mathematical Reasoning, Academic Press, London, 1983.
A. Bundy, The use of explicit plans to guide inductive proofs, 9th International Conference on Automated Deduction, E. Lusk and R. Over-beek (eds), Springer LNCS 310, 1988, pp. 111–120.
A. Bundy and B. Welham, Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation, Artificial Intelligence 16 (1981) 189–211.
G. Butler and J.J. Cannon, Cayley, version 4: the user language, Symbolic and Algebraic Computation, P. Gianni (ed.), Springer LNCS 358, 1989, pp. 456–466.
G. Butler and S.S. Iyer, Deductive mathematical databases — a case study, Statistical and Scientific Database Management, Z. Michalewicz (ed.), Springer LNCS 420, 1990, pp. 50–64.
G. Butler, S.S. Iyer, and S.H. Ley, A deductive database of the groups of order dividing 128, ISSAC 91, ACM, New York, 1991, pp.210–218.
J. Calmet, G. Bittencourt, and I.A. Tjandra, Mantra: A shell for hybrid knowledge representation, Proceedings of the Third International Conference on Tools for Artificial Intelligence, San Jose, USA, November 5–8, 1991, IEEE Computer Society Press.
J. Calmet, K. Homann, and I.A. Tjandra, Unified domains and abstract computational structures, these proceedings.
B.W. Char, K.O. Geddes, W.M. Gentleman, and G.H. Gonnet, The design of Maple: a compact, portable and powerful computer algebra system, Computer Algebra, J.A. van Hulzen (ed.), Springer LNCS 162, 1983, pp.101–115.
M. Clarkson, Praxis: a rule-based expert system for Macsyma, Design and Implementation of Symbolic Computation Systems, A. Miola (ed.), Springer LNCS 429, 1990, pp. 264–265.
M. Clarkson, Intelligent user interface for symbolic and numeric computation, these proceedings.
M.C. Dewar, IRENA — An integrated symbolic and numerical computation environment, SYMSAC 89, ACM, New York, 1989, pp.171–179.
M.C. Dewar and M.G. Richardson, Reconciling symbolic and numeric computation in a practical setting, Design and Implementation of Symbolic Computation Systems, A. Miola (ed.), Springer LNCS 429, 1990, pp. 195–204.
N.G. de Bruijn, A survey of the project Automath, Essays in Combinatory Logic, Lambda Calculus, and Formalism, J.P. Seldin and J.R. Hindley (eds), Academic Press, 1980, pp. 589–606.
J.C. French, A.K. Jones, and J.L. Pfaltz, Summary of the final report of the NSF workshop on scientific database management, SIGMOD Record 19, 4 (1990) 32–40.
K.A. Frenkel, The art and science of visualising data, CACM 31, 2 (1988) 110–121.
M. Grundy, Theorem Prover Generation using Refutation Procedures, Ph. D. Thesis, University of Sydney, 1990, 129 pages.
R.D. Jenks, R.S. Sutor, and S.M. Watt, Scratchpad II: an abstract datatype system for mathematical computation, Trends in Computer Algebra, R. Janssen (ed.), Springer LNCS 296, 1988, pp.12–37.
D. Kapur and J.L. Mundy (eds), Special Volume on Geometric Reasoning, Artificial Intelligence 37 1–3 (1988).
L. Kerschberg, A multiple paradigm approach to query optimization: Integrating historical, structural and behavioral information sources, these proceedings.
J.R. Quinlan, Simplifying decision trees, Proceedings of the First Knowledge Acquisition for Knowledge-Bases Systems Workshop, Banff, Canada, November 1986.
L. Sterling, A. Bundy, L. Byrd, R. O'Keefe and B. Silver, Solving symbolic equations with PRESS, Journal of Symbolic Computation 7 (1989) 71–84.
P. Struss, Qualitative modelling, these proceedings.
J.D. Ullman, Database and Knowledge-Based Systems, Volumes I and II, Computer Science Press, Rockdale, MD, 1989.
S. Wolfram, Computer software in science and mathematics, Scientific American 251 (September 1984) 188–203.
S. Wolfram, Mathematica: A System for Doing Mathematics, Addison-Wesley, 1988.
L. Wos, R. Overbeek, E. Lusk and R.J. Boyle, Automated Reasoning: Introduction and Applications, Prentice Hall, Englewood Cliffs, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Butler, G. (1993). The progress towards an intelligent assistant — A discussion paper. In: Calmet, J., Campbell, J.A. (eds) Artificial Intelligence and Symbolic Mathematical Computing. AISMC 1992. Lecture Notes in Computer Science, vol 737. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57322-4_7
Download citation
DOI: https://doi.org/10.1007/3-540-57322-4_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57322-7
Online ISBN: 978-3-540-48063-1
eBook Packages: Springer Book Archive