Abstract
This paper analyzes the power and limitations of common approaches to qualitative reasoning which derive qualitative descriptions from quantitative models. A mathematical formalization of qualitative reasoning methods is developed which is based on a variant of interval mathematics. It is shown that these methods applied to sets of equations are complete but not sound. Moreover, their solutions are not stable with respect to simple variations in the underlying set of equations.
Original language | English |
---|---|
Title of host publication | Readings in Qualitative Reasoning About Physical Systems |
Publisher | Elsevier Inc. |
Pages | 288-305 |
Number of pages | 18 |
ISBN (Print) | 1558600957, 9781483214474 |
DOIs | |
State | Published - 17 Sep 2013 |
Externally published | Yes |