## Comparative Analysis and Qualitative Integral Representations (1991)

Venue: | Workshop on Qualitative Reasoning |

Citations: | 2 - 1 self |

### BibTeX

@INPROCEEDINGS{Chiu91comparativeanalysis,

author = {Charles Chiu and Benjamin Kuipers},

title = {Comparative Analysis and Qualitative Integral Representations},

booktitle = {Workshop on Qualitative Reasoning},

year = {1991},

pages = {313--328},

publisher = {MIT Press}

}

### OpenURL

### Abstract

Comparative analysis is applied to a qualitative behavior of an incompletely known mechanism, to determine the effect of a given perturbation on the behavior as a whole. This class of inference is useful in diagnosis, design, planning, and generally for understanding the relations among a set of alternate qualitative behaviors. Comparative analysis depends on information which is implicit, and relatively difficult to extract, from qualitative differential equations. By introducing the definite integral as a descriptive term linking qualitative variables and their landmarks, we show that the qualitative integral representation (QIR) makes the required information easily accessible. Inspired by observations of expert physicists, we have adopted an approach to inference that allows global algebraic manipulation of the QIR. Within this approach, comparative analysis can be decomposed into a search and algebraic manipulation problems. Several detailed examples are presented to clarify our m...

### Citations

766 | Qualitative Process Theory
- Forbus
- 1984
(Show Context)
Citation Context ...sity of Texas, Austin, TX 78712. z Computer Sciences Department, University of Texas, Austin TX 78712. 1 Chiu & Kuipers December, 1991. 2 1 Introduction and Overview The goal of comparative analysis [=-=Forbus, 1984-=-; Weld, 1987, 1988] is to determine how a perturbation to one aspect of a system affects the behavior of other aspects of the system, particularly when the system is incompletely known and described b... |

464 | Qualitative Simulation
- Kuipers
- 1986
(Show Context)
Citation Context ...ystem, particularly when the system is incompletely known and described by a qualitative differential equation (QDE) model. In terms of the QSIM representation for qualitative structure and behavior [=-=Kuipers, 1986-=-], a predicted behavior is a sequence of qualitatively distinct sets of values for the variables in the QDE. The behavior implies a set of relationships among the landmark values of the variables. The... |

91 | Order of magnitude reasoning - Raiman - 1986 |

56 | Comparative analysis
- Weld
- 1987
(Show Context)
Citation Context ... Austin, TX 78712. z Computer Sciences Department, University of Texas, Austin TX 78712. 1 Chiu & Kuipers December, 1991. 2 1 Introduction and Overview The goal of comparative analysis [Forbus, 1984; =-=Weld, 1987-=-, 1988] is to determine how a perturbation to one aspect of a system affects the behavior of other aspects of the system, particularly when the system is incompletely known and described by a qualitat... |

27 | Taming intractible branching in qualitative simulation - Kuipers, Chiu - 1987 |

23 | Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation - Lee, Kuipers - 1988 |

23 | Hierachical reasoning about inequalities - Sacks - 1987 |

16 | Global Filter for Qualitative Behaviors - Struss - 1988 |

12 | Controlling qualitative resolution - Dormoy - 1988 |

11 | Automatic qualitative analysis of ordinary differential equations usin g piecewise linear approximations - Sacks - 1988 |

5 | Critical hypersurfaces and the quantity space - Kokar - 1987 |

3 | The Qualitative Calculus is Sound but Incomplete: a Reply to Peter Struss - Kuipers - 1988 |

3 | Mathematical aspects of qualitative reasoning Int - Struss - 1988 |

3 | Choices for comparative analysis: DQ analysis or exaggeration - Weld - 1988 |

1 |
Intuitive reasoning in physics --- from an expert's point of view
- Chiu
- 1989
(Show Context)
Citation Context ...ils. ffl Alternative strategy: evaluate @t rise @h = lim dh!0 t rise (h + dh) \Gamma t rise (h) dh -- Through the set of qualitative integral simplification rules given in section 5, it can be shown [=-=Chiu, 1989-=-]: sign ` @t rise @h ' = sign ` f(y; g) y \Gamma @f(y; g) @y ' ; for 0 ! y ! h . -- Since f(y; g)=y ? 0 and @f(y; g)=@y ! 0, we know that @t rise =@h ? 0. -- Combining this with @h=@v i ? 0 from equat... |