𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sound and Complete Qualitative Simulation Needs “Quantitative” Filtering

✍ Scribed by A.C. Cem Say

Book ID
110430970
Publisher
Springer Netherlands
Year
2003
Tongue
English
Weight
88 KB
Volume
38
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sound and complete qualitative simulatio
Sound and complete qualitative simulation is impossible
✍ A.C.Cem Say; H.Levent Akın 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 217 KB

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