The Progress Towards an Intelligent Assistent - A Discussion Paper

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.

[1]  Jacques Calmet,et al.  MANTRA: a shell for hybrid knowledge representation , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[2]  Jacques Calmet,et al.  Unified Domains and Abstract Computational Structures , 1992, AISMC.

[3]  Karen A. Frenkel.  The art and science of visualizing data , 1988, CACM.

[4]  Stephen M. Watt,et al.  Scratchpad II: An Abstract Datatype System for Mathematical Computation , 1988, Trends in Computer Algebra.

[5]  Gregory Butler,et al.  A deductive database of the groups of order dividing 128 , 1991, ISSAC '91.

[6]  J. Ross Quinlan,et al.  Simplifying Decision Trees , 1987, Int. J. Man Mach. Stud..

[7]  Alan Bundy,et al.  Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..

[8]  Alan Bundy,et al.  The Computer Modelling of Mathematical Reasoning , 1983 .

[9]  Gregory Butler,et al.  Deductive mathematical databases—a case study , 1990 .

[10]  Gregory Butler,et al.  Cayley, Version 4: The User Language , 1988, ISSAC.

[11]  M. G. Richardson,et al.  Reconciling Symbolic and Numeric Computation in a Practical Setting , 1990, DISCO.

[12]  Leon Sterling,et al.  Solving Symbolic Equations with PRESS , 1989, J. Symb. Comput..

[13]  Robert S. Boyer,et al.  Computational Logic , 1990, ESPRIT Basic Research Series.

[14]  Bruno Buchberger,et al.  Computer algebra symbolic and algebraic computation , 1982, SIGS.

[15]  Stephen Wolfram,et al.  Mathematica: a system for doing mathematics by computer (2nd ed.) , 1991 .

[16]  Joseph L. Mundy,et al.  Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume , 1988, Artif. Intell..

[17]  John L. Pfaltz,et al.  Summary of the final report of the NSF workshop on scientific database management , 1990, SGMD.

[18]  Bruce W. Char,et al.  The design of maple: A compact, portable and powerful computer algebra system , 1983, EUROCAL.

[19]  Stephen Wolfram,et al.  Computer Software in Science and Mathematics. , 1984 .

[20]  Alan Bundy,et al.  The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.

[21]  Hassan Aït-Kaci,et al.  An Overview of LIFE , 1990, East/West Database Workshop.

[22]  Mike Clarkson.  Praxis: A Rule-Based Expert System for MACSYMA , 1990, DISCO.

[23]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[24]  Gerald J. Sussman,et al.  Intelligence in scientific computing , 1989, CACM.