Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Artificial Intelligence
Automatic qualitative analysis of dynamic systems using piecewise linear approximations
Artificial Intelligence
Artificial Intelligence
The qualitative process engine
Readings in qualitative reasoning about physical systems
Reasoning about assumptions in graphs of models
Readings in qualitative reasoning about physical systems
Inheritance in automated planning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Artificial Intelligence
Reasoning about model accuracy
Artificial Intelligence
Artificial Intelligence
A qualitative physics compiler
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Automated modeling for answering prediction questions: selecting the time scale and system boundary
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Decompositional modeling through caricatural reasoning
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Efficient compositional modeling for generating causal explanations
Artificial Intelligence
Automated modeling of complex systems to answer prediction questions
Artificial Intelligence
Automated model selection for simulation based on relevance reasoning
Artificial Intelligence
Approximation and Abstraction in Solid Object Kinematics
Approximation and Abstraction in Solid Object Kinematics
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Static and dynamic abstraction solves the problem of chatter in qualitative simulation
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Dynamic solver selection for an Internet simulation backbone
Proceedings of the 2003 ACM symposium on Applied computing
A system simulating representation change phenomena while problem solving
Mathematics and Computers in Simulation
| Hi-index | 0.00 |
Reformulation is ubiquitous in problem solving and is especially common in modeling physical systems. In this paper we examine reformulation techniques in the context of reasoning about physical systems. This paper does not present a general theory of reformulation, but it studies a number of known reformulation techniques to achieve a broad understanding of the space of available reformulations. In doing so, we present a practical framework for specifying, classifying, and evaluating various reformulation techniques applicable to this class of problems. Our framework provides the terminology to specify the conditions under which a particular reformulation technique is applicable, the cost associated with performing the reformulation, and the effects of the reformulation with respect to the problem encoding.