Technical University of Munich, Department of Computer
MQM Paper: [Struss 93b]
On Temporal Abstraction in Qualitative Physics
In: Proceedings of the Seventh International Workshop on Qualitative Reasoning, Orcas Island, May 16 - 20,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.