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.

Abstract

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.

Download


If you have comments or suggestions, email me at mauss@informatik.tu-muenchen.de
created: Anton Seidl, Feb 10, 1997, last updated: Anton Seidl, Feb 10, 1997