Causes of Ineradicable Spurious Predictions in Qualitative Simulation

09/30/2011
by   Ö. Yılmaz, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

06/03/2011

Efficient Methods for Qualitative Spatial Reasoning

The theoretical properties of qualitative spatial reasoning in the RCC8 ...
12/30/2009

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

Nearly 15 years ago, a set of qualitative spatial relations between orie...
05/07/2020

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

We present a sound and complete method for the verification of qualitati...
06/14/2020

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

Inspired by sophisticated echolocation abilities found in nature, we tra...
03/31/2020

Axiomatizing Hybrid XPath with Data

In this paper we introduce sound and strongly complete axiomatizations f...
01/25/2019

Fast, Sound and Effectively Complete Dynamic Race Detection

Writing concurrent programs is highly error-prone due to the nondetermin...
01/09/2022

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.