The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.

References

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[3]

Abramowitz, M., and Stagun, I. Handbook of Mathematical Functions. Dover Publications, 1965.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Crossref

Google Scholar

[7]

Franceschini, V. Two models of truncated Navier-Stokes equations on a two-dimensional lorus. Phys. Fluids 26, 2 (Feb. 1983), 433-447.]]

Crossref

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[11]

Guckenheimer J., and Holmes, P. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, 1983.]]

Crossref

Google Scholar

[12]

Hsu, C.S. A theory of index for point mapping dynamical systems. J. Applied Mechanics 47 (1980), 185-190.]]

Crossref

Google Scholar

[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.]]

Crossref

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Crossref

Google Scholar

[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.]]

Crossref

Google Scholar

[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.]]

Digital Library

Google Scholar

Cited By

View all

Rehman ASaeed FRathore MPaul AKang J(2024)Smart city fire surveillance: A deep state‐space model with intelligent agentsIET Smart Cities10.1049/smc2.12086Online publication date: 21-Jun-2024
https://doi.org/10.1049/smc2.12086
Rahmatov NPaul ASaeed FSeo H(2021)Realtime fire detection using CNN and search space navigationJournal of Real-Time Image Processing10.1007/s11554-021-01153-418:4(1331-1340)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s11554-021-01153-4
Chernyshov K(2017)A conception of solving non-linear identification problems in intelligent control systems2017 12th IEEE Conference on Industrial Electronics and Applications (ICIEA)10.1109/ICIEA.2017.8283071(1471-1476)Online publication date: Jun-2017
https://doi.org/10.1109/ICIEA.2017.8283071
Show More Cited By

Index Terms

Intelligence in scientific computing

Recommendations

Artificial intelligence
Abstract
Artificial 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 ...
Artificial Intelligence: Theories, Models and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012, Proceedings
First International Conference on Artificial Intelligence and Cognitive Computing: AICC 2018

Reviews

Reviewer: 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 32, Issue 5

May 1989

88 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/63485

Editor:
Peter J. Denning
NASA Ames Research Center, Moffett Field, CA

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1989

Published in CACM Volume 32, Issue 5

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

79
Total Citations
View Citations
866
Total Downloads

Downloads (Last 12 months)154
Downloads (Last 6 weeks)24

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rehman ASaeed FRathore MPaul AKang J(2024)Smart city fire surveillance: A deep state‐space model with intelligent agentsIET Smart Cities10.1049/smc2.12086Online publication date: 21-Jun-2024
https://doi.org/10.1049/smc2.12086
Rahmatov NPaul ASaeed FSeo H(2021)Realtime fire detection using CNN and search space navigationJournal of Real-Time Image Processing10.1007/s11554-021-01153-418:4(1331-1340)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s11554-021-01153-4
Chernyshov K(2017)A conception of solving non-linear identification problems in intelligent control systems2017 12th IEEE Conference on Industrial Electronics and Applications (ICIEA)10.1109/ICIEA.2017.8283071(1471-1476)Online publication date: Jun-2017
https://doi.org/10.1109/ICIEA.2017.8283071
Stolle RBradley E(2007)Communicable Knowledge in Automated System IdentificationComputational Discovery of Scientific Knowledge10.5555/1421425.1421429(17-43)Online publication date: 1-May-2007
https://dl.acm.org/doi/10.5555/1421425.1421429
Owen J(2007)Computer Graphics and Computer‐Aided Design Literature: A Keyword‐Indexed Bibliography for the Year 1989Computer Graphics Forum10.1111/j.1467-8659.1990.tb00402.x9:3(257-267)Online publication date: 9-Oct-2007
https://doi.org/10.1111/j.1467-8659.1990.tb00402.x
Kuipers BCrawford J(2007)GUARANTEED COVERAGE VERSUS INTELLIGENT SAMPLING: A REPLY TO SACKS AND DOYLE1Computational Intelligence10.1111/j.1467-8640.1992.tb00360.x8:2(289-294)Online publication date: 2-Apr-2007
https://doi.org/10.1111/j.1467-8640.1992.tb00360.x
Sacks EDoyle J(2007)PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICSComputational Intelligence10.1111/j.1467-8640.1992.tb00344.x8:2(187-209)Online publication date: 2-Apr-2007
https://doi.org/10.1111/j.1467-8640.1992.tb00344.x
Weld D(2007)QUALITATIVE PHYSICS: ALBATROSS OR EAGLE?1Computational Intelligence10.1111/j.1467-8640.1992.tb00343.x8:2(175-186)Online publication date: 2-Apr-2007
https://doi.org/10.1111/j.1467-8640.1992.tb00343.x
Anderson SSrinivasa S(2007)Identifying trajectory classes in dynamic tasks2007 IEEE International Symposium on Approximate Dynamic Programming and Reinforcement Learning10.1109/ADPRL.2007.368185(172-177)Online publication date: Apr-2007
https://doi.org/10.1109/ADPRL.2007.368185
Zhao FBailey-Kellogg CHuang XOrdóñez I(2007)Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation ToolsComputational Discovery of Scientific Knowledge10.1007/978-3-540-73920-3_8(158-174)Online publication date: 1-May-2007
https://dl.acm.org/doi/10.1007/978-3-540-73920-3_8
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Artificial intelligence

Artificial Intelligence: Theories, Models and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012, Proceedings

First International Conference on Artificial Intelligence and Cognitive Computing: AICC 2018

Reviews

Access critical reviews of Computing literature here

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations