Foundations and applications of qualitative reasoning and model-based diagnosis

Abstract

In this paper we summarize the foundation for a model-based approach to diagnosis of technical systems ud discuss the import&Dce of qualitative reasoning within this framework. Based on this, we propose to apply these diagnostic techniques to model building. Thus, theories about physical systems are checked for consistency ud against empirical observations. Thu leads to a tool that supports the conatruction ud maintena.nce of modellibra.ries as well as the process of theory formation in research.