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


Peter Struss

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.

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 12, 1997, last updated: Anton Seidl, Feb 12, 1997