Harold Abelson
Abstract
The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.
- 1 Abelson, H., Halfant, M., Katzenelson, J., and Sussman, G.J. The Lisp experience. Annual Rev. Comp. Sci., vol 3., Annual Reviews, Palo Alto, '1988, 167-195.]] Google Scholar
Digital Library
- 2 Abelson, H., and Sussman, G.J. The Dynamicist's Workbench I: Automatic preparation of numerical experiments. MIT Artificial Intelligence Laboratory Memo 955, May '1987.]] Google ScholarDigital Library
- 3 Abramowitz, M., and Stagun, I. Handbook of Mathematical Functions. Dover Publications, 1965.]] Google ScholarDigital Library
- 4 Applegate, J., Douglas, M., Gfirsel, Y.. Hunter, P., Seitz, C., Sussman, G.J. A digital orrery. IEEE Trans. Cornp. C-34, 9 (Sept. 1985), pp. 822-83'1.]] Google ScholarDigital Library
- 5 Baase, S. Computer Algorithms. Addison-Wesley, 1978.]]Google Scholar
- 6 Feinberg, M. Chemical oscillations, multiple equilibria, and reaction network structure. In Dynamics and Modelling of Reactive Systems, W. Stewart, W.H. Ray and C. Conley, Eds. Academic Press, New York, 1980, pp. 59-130.]]Google ScholarCross Ref
- 7 Franceschini, V. Two models of truncated Navier-Stokes equations on a two-dimensional lorus. Phys. Fluids 26, 2 (Feb. 1983), 433-447.]]Google ScholarCross Ref
- 8 Halfant, M., and Sussman, G.J. Abstraction in Numerical Methods. In Proceedings of ACM Conference on Lisp and Functional Programming (Aug. 1988}, pp. 1-7.]] Google ScholarDigital Library
- 9 H(~non, M. Numerical study of quadratic area-preserving mappings.]]Google Scholar
- 10 Gelernler, H. Realization of a geometry theorem proving machine. In Proceedings of the International Conference on Information Processing (Paris 1959), pp. 273-282: also in Computers and Thought. E. Feigenbaum and J. Feldman Eds. McGraw-Hill, New York, 1963, 134-152.]] Google ScholarDigital Library
- 11 Guckenheimer J., and Holmes, P. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, 1983.]]Google ScholarCross Ref
- 12 Hsu, C.S. A theory of index for point mapping dynamical systems. J. Applied Mechanics 47 (1980), 185-190.]]Google ScholarCross Ref
- 13 Hsu, C.S., Cheng, W.H., and Yee, H.C. Steady-state response of a non-linear system under impulsive parametric excitation. J. Sound and Vibration 50 (1977), 95-116.]]Google ScholarCross Ref
- 14 Kinoshita, H., and Nakai, H. Motions of the perihelions of Neptune and Pluto. Celestial Mechanics 34, 203 ('1984}.]]Google Scholar
- 15 Laidler, K. Chemical Kinetics (3rd edition). Harper & Row, New York, 1987.]]Google Scholar
- 16 MacKay, R. Renormalization in Area-Preserving Maps, Ph.D. dissertation, Princeton University, 1982.]]Google Scholar
- 17 McCormick, B., Desanti, T., and Brown, M. Eds. Visualization in scientific computing. Comp. Graph. 21, 6 (1987).]]Google Scholar
- 18 Nevins, A.J. Plane geometry theorem proving using forward chaining. MIT Artificial Intelligence Laboratory, Memo, no. 303, January 1974.]]Google Scholar
- 19 Novak, G. Represenlalions of knowledge in a program for solving physics problems. In Proceedings of the 5th IJCAI (Cambridge, Mass. 1977), pp. 286-291.]]Google Scholar
- 20 Roylance, G.L. Expressing mathematical subroutines constructively. In Proceedings of ACM Conference on Lisp and Functional Programming (Aug. '1988), pp. 8-'13.]] Google ScholarDigital Library
- 21 Sacks, E.P. Hierarchical reasoning about inequalities. AAAI (1987), 649-654.]]Google Scholar
- 22 Sacks, E.P. Piecewise linear reasoning. AAAI (1987), 655-659.]]Google Scholar
- 23 Sacks, E.P. Automatic qualitative analysis of ordinary differential equations using piecewise linear approximalions. MIT Laboralory for Computer Science, Tech. Rep. 416, March 1988.]] Google ScholarDigital Library
- 24 Sussman, G.J., and St~.llman, R.M. Heuristic techniques in computer-aided circuit ar aly:;is. IEEE Trans. Circuits and Systems, CAS-22 (Nov. 1975), 857-865.]]Google ScholarCross Ref
- 25 Sussman, G.J., and W: sdom. J. Numerical evidence that the motion of Pluto is chaotic. Sc, ence 241, 22 (Jul. 1988), 433-437.]]Google Scholar
- 26 Thompson, J.M.T. Co~nplex dynamics of compliant offshore structure:~. In Proceedings of the Royal Society of London A, 387 (1983), pp. 407-427.]]Google ScholarCross Ref
- 27 Thompson, J.M.T., an t Stgwart, H.B. Nonlinear Dynamics and Chaos. Wiley, New York, 19~ 6.]]Google Scholar
- 28 Waltz, D.A. Generatir g s~..mantic descriptions from drawings of scenes with shadows. In The Psychology of Computer Vision. P.H. Winston, Ed. McGra,a-Hill, New York, 1985.]]Google Scholar
- 29 Witkin, A.P. Scale-sp~ ce filtering, IJCAI-83.]]Google Scholar
- 30 Yip, K. Extracting qualitative dynamics from numerical experimenl:s, AAAI 1987.]]Google Scholar
- 31 Yip, K. Generating glc hal behaviors using deep knowledge of local dynamics, AAAI 1988]]Google Scholar
- 32 Zahr., C.T. Graph-the~ret ical methods for detecting and describing Gestalt clusters. IEEE Frans. Comp. C-20 (Jan. 1971).]]Google Scholar
- 33 Zhao, F. An O(N) algorithm for three-dimensional N-body simulations. Tech. Rept. 995 MIT Artificial Intelligence Laboratory, 1987.]] Google ScholarDigital Library
Index Terms
- Intelligence in scientific computing
Recommendations
Artificial intelligence
AbstractArtificial intelligence (AI) is the Science and Engineering domain concerned with the theory and practice of developing systems that exhibit the characteristics we associate with intelligence in human behavior. Starting with a brief history of ...
Reviews
Allan Blackman
The scope of this paper is a good deal narrower than its title would suggest. Although the authors touch on some larger AI issues, they focus mainly on programs they have developed that prepare, execute, and interpret numerical simulations in the physical sciences, especially in dynamics. The authors do not claim to have achieved any breakthroughs in AI technology; rather, they have applied current methods to their domain knowledge, resulting in expert systems of interest principally to certain scientists and engineers. This paper begins with a remarkable dialogue between an ocean engineer designing an offshore mooring tower for large ships and a computer assistant. The ability of the computer to understand what the engineer requires and to respond intelligently se<__?__Pub Caret>ems too good to be true. Of course, it is: the dialogue is fictional, offered as an illustration of what might someday exist. How much less intelligent than this ideal assistant are the authors' extant systems__?__ Only after working dynamicists have given them an extended trial will the verdict be in.
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Comments