Causes of Ineradicable Spurious Predictions in Qualitative Simulation

by   Ö. Yılmaz, et al.

It was recently proved that a sound and complete qualitative simulator does not exist, that is, as long as the input-output vocabulary of the state-of-the-art QSIM algorithm is used, there will always be input models which cause any simulator with a coverage guarantee to make spurious predictions in its output. In this paper, we examine whether a meaningfully expressive restriction of this vocabulary is possible so that one can build a simulator with both the soundness and completeness properties. We prove several negative results: All sound qualitative simulators, employing subsets of the QSIM representation which retain the operating region transition feature, and support at least the addition and constancy constraints, are shown to be inherently incomplete. Even when the simulations are restricted to run in a single operating region, a constraint vocabulary containing just the addition, constancy, derivative, and multiplication relations makes the construction of sound and complete qualitative simulators impossible.



There are no comments yet.



Efficient Methods for Qualitative Spatial Reasoning

The theoretical properties of qualitative spatial reasoning in the RCC8 ...

Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects

Nearly 15 years ago, a set of qualitative spatial relations between orie...

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

We present a sound and complete method for the verification of qualitati...

BatVision with GCC-PHAT Features for Better Sound to Vision Predictions

Inspired by sophisticated echolocation abilities found in nature, we tra...

Axiomatizing Hybrid XPath with Data

In this paper we introduce sound and strongly complete axiomatizations f...

Fast, Sound and Effectively Complete Dynamic Race Detection

Writing concurrent programs is highly error-prone due to the nondetermin...

Qualitative representations of chromatic algebras

Conventional Ramsey-theoretic investigations for edge-colourings of comp...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.