KSL-98-18 + redirect page
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems + Has identifier
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems + Ksl tr id
| Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems |
Bibtype
inproceedings
Has publishing details
June,1998
Has title
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems
Has where published
Knowledge Systems, AI Laboratory
Has year
1998
Title
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems
Year
1998
Abstract
In this paper, we propose a practical fram … In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal of automating the selection and application of these techniques. We view reformulation as a mapping from one encoding of a problem to another. A problem-solving task is in turn accomplished by the application of a sequence of reformulations to an initial problem encoding to produce a final encoding that addresses the task. 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. As such it provides the vocabulary to characterize the selection of a sequence of reformulation techniques as a planning problem. Our framework is sufficiently flexible to accommodate previously proposed properties and metrics for reformulation. We have used the framework to characterize a variety of reformulation techniques, three of which are presented in this paper. hree of which are presented in this paper.
Note
Previous versions appeared in Working notes of the Workshop on Qualitative Reasoning (QR'98), Cape Cod, MA, 1998, pp. 21-31 and working notes of the Symposium on Abstraction, Reformulation and Approximation (SARA'98), Pacific Grove, CA, 1998, pp. 25-36.
Address
Stanford, CA, USA +
Author
Berthe Y. Choueiry and Sheila A. McIlraith and Yumi Iwasaki and Tony Loeser and Todd W. Neller and Robert S. Engelmore and Richard Fikes +
Booktitle
Knowledge Systems, AI Laboratory +
Has author
Berthe Y. Choueiry and Sheila A. McIlraith and Yumi Iwasaki and Tony Loeser and Todd W. Neller and Robert S. Engelmore and Richard Fikes +
Has identifier
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems +
Ksl tr id
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems +
Month
June +
Process note
NO +
Categories InProceedings +, KSL Technical Report +, Publication +
|
