Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1613/jair.2065 | J. Artif. Intell. Res. (JAIR) |
Keywords | Field | DocType |
state-of-the-art qsim algorithm,ineradicable spurious prediction,constancy constraint,complete qualitative,sound qualitative simulator,qsim representation,qualitative simulation,single operating region,constraint vocabulary,operating region transition feature,complete qualitative simulator,input-output vocabulary,input output,artificial intelligent | Qualitative simulation,Computer science,Algorithm,Multiplication,Artificial intelligence,Soundness,Vocabulary,Spurious relationship,Completeness (order theory),Machine learning | Journal |
Volume | Issue | ISSN |
27 | 1 | Journal Of Artificial Intelligence Research, Volume 27, pages
551-575, 2006 |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Özgür Yilmaz | 1 | 685 | 51.36 |
A. C. Cem Say | 2 | 193 | 26.13 |