A System for Intelligently Guiding Numerical Experimentation by Computer
In a cross-disciplinary study that has important implications for research in artificial intelligence and complex nonlinear dynamics, Yip shows how to automate key aspects of this style of reasoning.
Scientists and engineers routinely use graphical representations to organize their thoughts and as parts of the process of solving verbally presented problems. In a cross-disciplinary study that has important implications for research in artificial intelligence and complex nonlinear dynamics, Yip shows how to automate key aspects of this style of reasoning. He demonstrates the basic feasibility of intelligently guided numerical experimentation in a computational theory and a system for implementing the theory. The system, called KAM, is the first computer system that can intelligently guide numerical experimentation and interpret the numerical results in high-level, conceptual terms. KAM's ability to steer numerical experiments arises from the fact that it not only produces images but also looks at the pictures it draws to guide its own actions. By combining techniques from computer vision with sophisticated dynamical invariants, KAM is able to exploit mathematical knowledge, encoded as visual consistency constraints on the phase space and parameter space, to constrain its search for interesting behaviors. The approach is applied to Hamiltonian systems with two degrees of freedom, an area that is currently of great physical interest, and its power is tested in a difficult problem in hydrodynamics, for which KAM helps derive previously unknown publishable results.
HardcoverOut of Print ISBN: 9780262240345 260 pp. |
Yip's goal is to demonstrate the use of symbolic AI methods to guide the effective use of numerical experiments. This is a very important area, where AI methods are likely to have high impact on the engineering world. His program achieves an impressive level of performance over a limited but important class of problems, and demonstrates methods that will be useful across many areas. The work is original, clever, and insightful.
Associate Professor, University of Texas-Austin