Towards a practical theory of reformulation for reasoning about physical systems
| Autor: | Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith |
|---|---|
| Rok vydání: | 2005 |
| Předmět: |
Linguistics and Language
Class (computer programming) Reasoning about physical systems InformationSystems_INFORMATIONSTORAGEANDRETRIEVAL Physical system Context (language use) Data_CODINGANDINFORMATIONTHEORY Space (commercial competition) Language and Linguistics Terminology Abstraction (mathematics) Reformulation General theory Artificial Intelligence Encoding (memory) Calculus Hardware_ARITHMETICANDLOGICSTRUCTURES Abstraction Approximation Mathematics |
| Zdroj: | Artificial Intelligence. 162(1-2):145-204 |
| ISSN: | 0004-3702 |
| DOI: | 10.1016/j.artint.2004.01.004 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect