It is known that sound and complete qualitative simulators do not exist; that is, there exist inputs which lead to ineradicable spurious behaviors, proving whose inconsistency is an undecidable task, and thus any sound qualitative simulator has to include them in its output. In this paper, we ask whether the next best thing, that is, a single sound qualitative simulator which detects and elimin...

In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour prediction using an initial library containing general domain knowledge the technique employs feedback about valid and spurious states of behaviour and knowledge about the causal dependencies between the parameters in...