Understanding Complex Dynamics by Visual and Symbolic Reasoning

Abstract Professional scientists and engineers routinely use nonverbal reasoning processes and graphical representations to organize their thoughts and as part of the process of solving otherwise verbally presented problems. This paper presents a computational theory and an implemented system that capture some aspects of this style of reasoning. The system, consisting of a suite of computer programs collectively known as KAM, uses numerical methods as a means to shift back and forth between symbolic and geometric methods of reasoning. The KAM program has three novel features: (1) it articulates the idea that “visual mechanisms are useful for problem solving” into a workable computational theory, (2) it applies the approach to a domain of great technical difficulty, the field of complex nonlinear chaotic dynamics, and (3) it demonstrates the power of the approach by solving problems of real interest to working scientists and engineers.

[1]  Peter Struss,et al.  Global Filters for Qualitative Behaviors , 1988, AAAI.

[2]  B. H. McCormick,et al.  Visualization in scientific computing , 1995 .

[3]  Benjamin Kuipers,et al.  Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation , 1988, AAAI.

[4]  Kenneth Man-kam Yip.  Generating Global Behaviors using Deep knowledge of Local Dynamics , 1988, AAAI.

[5]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[6]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[7]  R. Rimmer,et al.  Generic Bifurcations for Involutory Area Preserving Maps , 1983 .

[8]  Andrew P. Witkin,et al.  Scale-Space Filtering , 1983, IJCAI.

[9]  Elisha Sacks,et al.  Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximations , 1990, Artif. Intell..

[10]  Charles T. Zahn,et al.  Graph-Theoretical Methods for Detecting and Describing Gestalt Clusters , 1971, IEEE Transactions on Computers.

[11]  Kenneth M Yip.  KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods , 1989 .

[12]  A. J. Nevins,et al.  Plane Geometry Theorem Proving Using Forward Chaining , 1975, Artif. Intell..

[13]  M. Hénon.  Numerical study of quadratic area-preserving mappings , 1969 .

[14]  Dick K. P. Yue,et al.  Resonantly excited regular and chaotic motions in a rectangular wave tank , 1990, Journal of Fluid Mechanics.

[15]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[16]  Gerald Jay Sussman,et al.  Heuristic techniques in computer-aided circuit analysis , 1975 .

[17]  Kenneth R. Meyer,et al.  Generic Bifurcation of Periodic Points , 2020, Hamiltonian Dynamical Systems.

[18]  Gordon S. Novak.  Representations of Knowledge in a Program for Solving Physics Problems , 1977, IJCAI.

[19]  M. Hénon,et al.  The applicability of the third integral of motion: Some numerical experiments , 1964 .

[20]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.