Technical University of Munich, Department of Computer
MQM Paper: [Struss 93d]
On Temporal Abstraction in Qualitative Physics - A Preliminary Report
In: Working Paper of the 7th International Workshop on Qualitative Reasoning, Orcas Island, Wa, USA, 1993.
Abstraction is a fundamental element of qualitative reasoning about physical systems and crucial for coping with complexity of real problems. Temporal abstractions form an important class that comprises a variety of different transformations. We establish goals for a formalization of abstractions, discuss some examples of temporal abstraction, and show how they can be formalized in a theory of relational behavior models of physical systems.