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 systems; fitting approximation; model sensitivity analysis

Mathematics Subject Classification ID

Related Items

Towards Model-based Methods for Developing Model-based Systems, Reasoning about nonlinear system identification, A theory of abstraction, Causal approximations, Automatic construction of accurate models of physical systems, Automated modeling of complex systems to answer prediction questions, Comparative envisionment construction: A technique for the comparative analysis of dynamical systems, On the usage of qualitative reasoning as an approach towards enterprise modelling

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