Reasoning about model accuracy

DOI10.1016/0004-3702(92)90029-WMaRDI QIDQ1199915zbMATH OpenFDO

Authors Daniel S. Weld

Publication date 17 January 1993

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(92)90029-W

zbMATH Keywords

automated reasoning about physical systemsfitting approximationmodel sensitivity analysis

Mathematics Subject Classification ID

Recommendations

• Automated model selection for simulation based on relevance reasoning
• Automated modeling of complex systems to answer prediction questions
• Automated modelling of physical systems
• Scaling down discrete-event simulation models
• Approximate analysis of system model accuracy based on complex statistical efficiency criteria

Cites work

• Algebraic simplification
• Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation
• Comparative analysis
• Exaggeration
• scientific article; zbMATH DE number 4162306 (Why is no real title available?)
• scientific article; zbMATH DE number 4164177 (Why is no real title available?)
• scientific article; zbMATH DE number 4166921 (Why is no real title available?)
• scientific article; zbMATH DE number 3942890 (Why is no real title available?)
• scientific article; zbMATH DE number 4098590 (Why is no real title available?)
• scientific article; zbMATH DE number 140418 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3256625 (Why is no real title available?)
• scientific article; zbMATH DE number 3313863 (Why is no real title available?)
• scientific article; zbMATH DE number 3394474 (Why is no real title available?)
• scientific article; zbMATH DE number 4185092 (Why is no real title available?)
• scientific article; zbMATH DE number 4187143 (Why is no real title available?)
• Planning in a hierarchy of abstraction spaces
• Qualitative simulation
• Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
• Theorem proving with abstraction

Cited in

(14)

• Automated model selection for simulation based on relevance reasoning
• 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
• Automated modelling of physical systems
• Task-dependent qualitative domain abstraction
• Towards a practical theory of reformulation for reasoning about physical systems
• The scope and limits of simulation in automated reasoning
• Towards Model-based Methods for Developing Model-based Systems
• scientific article; zbMATH DE number 5587350 (Why is no real title available?)
• Reasoning about nonlinear system identification

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Reasoning about model accuracy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199915)