Technical University of Munich, Department of Computer Science
MQM Paper: [Struss 94g]

Peter Struss

Qualitative Reasoning Based on Temporal Abstraction.

In: 1. MATHMOD VIENNA (IMACS Symposium on Mathematical Modelling, Technical University Vienna), Vienna, 1994.

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 show how an important subclass can be formalized in a theory of relational behavior models of physical systems.


If you have comments or suggestions, email me at mauss@in.tum.de
created: Anton Seidl, Feb 07, 1997, last updated: Jakob Mauss, December 4, 1998