Mathematical aspects of qualitative reasoning

Peter Struss

doi:10.1016/0954-1810(88)90032-5

Mathematical aspects of qualitative reasoning

Peter Struss

Siemens AG

Research output: Contribution to journal › Article › peer-review

55 Scopus citations

Abstract

Variations of interval arithmetic are developed in order to formalize the qualitative calculi used in ENVISION, Qualitative Process Theory, and QSIM. Properties such as completeness and soundness of these methods are analysed. The qualitative calculi are shown to be complete, but not sound. This means that these qualitative reasoning methods might predict spurious states of systems. Furthermore, their results are sensitive to transformations applied to the underlying equations.

Original language	English
Pages (from-to)	156-169
Number of pages	14
Journal	Artificial Intelligence in Engineering
Volume	3
Issue number	3
DOIs	https://doi.org/10.1016/0954-1810(88)90032-5
State	Published - Jul 1988
Externally published	Yes

Keywords

envisioning
interval arithmetic
qualitative physics
qualitative process theory
qualitative reasoning
qualitative simulation

Access to Document

10.1016/0954-1810(88)90032-5

Cite this

@article{69c8e6cbc6034c21869a1f0657562843,

title = "Mathematical aspects of qualitative reasoning",

abstract = "Variations of interval arithmetic are developed in order to formalize the qualitative calculi used in ENVISION, Qualitative Process Theory, and QSIM. Properties such as completeness and soundness of these methods are analysed. The qualitative calculi are shown to be complete, but not sound. This means that these qualitative reasoning methods might predict spurious states of systems. Furthermore, their results are sensitive to transformations applied to the underlying equations.",

keywords = "envisioning, interval arithmetic, qualitative physics, qualitative process theory, qualitative reasoning, qualitative simulation",

author = "Peter Struss",

year = "1988",

month = jul,

doi = "10.1016/0954-1810(88)90032-5",

language = "English",

volume = "3",

pages = "156--169",

journal = "Artificial Intelligence in Engineering",

issn = "0954-1810",

publisher = "Pergamon Press Ltd.",

number = "3",

}

TY - JOUR

T1 - Mathematical aspects of qualitative reasoning

AU - Struss, Peter

PY - 1988/7

Y1 - 1988/7

N2 - Variations of interval arithmetic are developed in order to formalize the qualitative calculi used in ENVISION, Qualitative Process Theory, and QSIM. Properties such as completeness and soundness of these methods are analysed. The qualitative calculi are shown to be complete, but not sound. This means that these qualitative reasoning methods might predict spurious states of systems. Furthermore, their results are sensitive to transformations applied to the underlying equations.

AB - Variations of interval arithmetic are developed in order to formalize the qualitative calculi used in ENVISION, Qualitative Process Theory, and QSIM. Properties such as completeness and soundness of these methods are analysed. The qualitative calculi are shown to be complete, but not sound. This means that these qualitative reasoning methods might predict spurious states of systems. Furthermore, their results are sensitive to transformations applied to the underlying equations.

KW - envisioning

KW - interval arithmetic

KW - qualitative physics

KW - qualitative process theory

KW - qualitative reasoning

KW - qualitative simulation

UR - http://www.scopus.com/inward/record.url?scp=0024051376&partnerID=8YFLogxK

U2 - 10.1016/0954-1810(88)90032-5

DO - 10.1016/0954-1810(88)90032-5

M3 - Article

AN - SCOPUS:0024051376

SN - 0954-1810

VL - 3

SP - 156

EP - 169

JO - Artificial Intelligence in Engineering

JF - Artificial Intelligence in Engineering

IS - 3

ER -

Mathematical aspects of qualitative reasoning

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this