Model Simplification by Asymptotic Order of Magnitude Reasoning

One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Approximate models in science are often constructed by informal reasoning based on consideration of limiting cases, knowledge of relative importance of terms in the model, and understanding of gross features of the solution. We show how an implemented program can combine such knowledge with a heuristic simplification procedure and an inequality reasoner to simplify difficult fluid equations.

• Type: Conference
• Year: 1993
• Where: AAAI
• Authors: Kenneth Man-kam Yip
• Keywords: AAAI 1993, Approximate Models, Difficult Fluid Equations, Heuristic Simplification Procedure, Intelligent Agents