Improved filtering for the QSIM algorithm

A source of spurious predictions inside the qualitative simulation algorithm QSIM proposed by B. Kuiper (1986) is identified. The proposed solution involves the use of interval corresponding values for filtering inconsistent states and does not require any additions or restrictions in the input set, unlike the other approaches to the spurious prediction elimination problem. The time and space complexities of the algorithm are not affected by the modification.<
>