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
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Characterizing abstraction hierarchies for planning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
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
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Abstraction and complexity measures
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence
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.