Learn More
This paper presents a technique that supports a knowledge engineer in constructing a qualitative model of a physical device. The technique is specifically aimed at achieving a parsimonious model of device behaviour. First we explain why a model that is composed of general model fragments may still contain irrelevant particles. Then we present a technique(More)
We describe our approach to support the construction of qualitative models used for predicting the behaviour of physical devices. Model speciication is the process of specifying the properties of a particular device at hand and specifying the domain knowledge needed to predict its behaviour. It can be supported by a set of dedicated editors. Model(More)
  • 1