Sound and complete qualitative simulation is impossible

✍ Scribed by A.C.Cem Say; H.Levent Akın

• Book ID: 104105273
• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 217 KB
• Volume: 149
• Category: Article
• ISSN: 0004-3702
• DOI: 10.1016/s0004-3702(03)00077-8

✦ Synopsis

State-of-the-art qualitative simulators (for instance, QSIM) are known to be sound; no trajectory which is the solution of a concrete equation matching the input can be missing from the output. A simulator which is seen to be incomplete, that is, which produces a spurious prediction for a particular input, can usually be augmented with an additional filter which eliminates that particular class of spurious behaviors, and the question of whether a simulator with purely qualitative input which never predicts spurious behaviors can ever be achieved by adding new filters in this way has remained unanswered until now. We prove that such a sound and complete qualitative simulation algorithm does not exist.