Technical University of Munich, Department of Computer Science
MQM Paper: [Struss 93b]

Peter Struss

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.


If you have comments or suggestions, email me at
created: Anton Seidl, Feb 10, 1997, last updated: Anton Seidl, Feb 10, 1997