Reasoning about model accuracy

DOI10.1016/0004-3702(92)90029-WzbMath0787.68090MaRDI QIDQ1199915

Daniel S. Weld

Publication date: 17 January 1993

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

automated reasoning about physical systemsfitting approximationmodel sensitivity analysis

Mathematics Subject Classification ID

Related Items

Causal approximations, On the usage of qualitative reasoning as an approach towards enterprise modelling, Automatic construction of accurate models of physical systems, Automated modeling of complex systems to answer prediction questions, Task-dependent qualitative domain abstraction, Towards a practical theory of reformulation for reasoning about physical systems, Towards Model-based Methods for Developing Model-based Systems, A theory of abstraction, Reasoning about nonlinear system identification, Comparative envisionment construction: A technique for the comparative analysis of dynamical systems, The scope and limits of simulation in automated reasoning

Uses Software

• Mathematica

Cites Work

• Qualitative simulation
• Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation
• Exaggeration
• Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
• Comparative analysis
• Theorem proving with abstraction
• Planning in a hierarchy of abstraction spaces
• Algebraic simplification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item