Qualitative Constraints

• (Q= x e) (qualitatively equal)

  

• (M+ x y), (M- x y) (monotonic function)

  The monotonic function constraints are common in Qualitative Reasoning systems. Note that there are some additional restrictions on the functions satisfying them which are specified in [8].