Towards a practical theory of reformulation for reasoning about physical systems

DOI10.1016/j.artint.2004.01.004zbMath1132.68694OpenAlexW2057434766MaRDI QIDQ2457693

Yumi Iwasaki, Berthe Y. Choueiry, Sheila A. McIlraith

Publication date: 23 October 2007

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

Full work available at URL: https://doi.org/10.1016/j.artint.2004.01.004

zbMATH Keywords

approximationabstractionreformulationreasoning about physical systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

A system simulating representation change phenomena while problem solving, New methods for proving the impossibility to solve problems through reduction of problem spaces, A framework for analysing state-abstraction methods

Cites Work

• Qualitative simulation
• Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations
• Exaggeration
• Comparative analysis
• Automated model selection for simulation based on relevance reasoning
• Theorem proving with abstraction
• Reasoning about model accuracy
• A theory of abstraction
• Causal approximations
• Automated modeling of complex systems to answer prediction questions
• Aggregation of Variables in Dynamic Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item