Including Qualitative Knowledge in Semiqualitative Dynamical Systems

Abstract

A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative knowledge may be expressed in their parameters, initial conditions and/or vector fields. The representation of qualitative knowledge is made by means of intervals, continuous qualitative functions and envelope functions. A dynamical system is defined by differential equations with qualitative knowledge. This definition is transformed into a family of dynamical systems. In this paper the semiqualitative analysis is carried out by means of constraint satisfaction problems, using interval consistency techniques.