From Tetherless World Wiki
Citation: Berthe Y. Choueiry and Sheila A. McIlraith and Yumi Iwasaki and Tony Loeser and Todd W. Neller and Robert S. Engelmore and Richard Fikes. (1998) Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems. In Knowledge Systems, AI Laboratory, June,1998.
| Publication inproceedings ( Edit )
|
| type | InProceedings
|
| bibtype | inproceedings
|
| Bibtex basics
|
| 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
|
| title | Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems
|
| booktitle | Knowledge Systems, AI Laboratory
|
| address | Stanford, CA, USA
|
| year | 1998
|
| month | June
|
| Bibtex more
|
| 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.
|
| Access Paper
|
| abstract | 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.
|
| KSL Technical Report ID: KSL-98-18
|
Facts about Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical SystemsRDF feed
| 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. |
| 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 + |
| Bibtype | inproceedings + |
| 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 | KSL-98-18 + |
| 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 + |
| Ksl tr id | KSL-98-18 + |
| Month | June + |
| 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. |
| Process note | NO + |
| Title | Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems + |
| Year | 1998 + |
