Monotonicity Analysis for Constructing Qualitative Models

Yan, Yuhong and Lemire, Daniel and Brooks, Martin (2004) Monotonicity Analysis for Constructing Qualitative Models. [Conference Paper]

Full text available as:



Qualitative models are more suitable than classical quantitative models in many tasks like Model-based Diagnosis (MBD), explaining system behavior, and designing novel devices from first principles. Monotonicity is an important feature to leverage when constructing qualitative models. Detecting monotone pieces robustly and efficiently from sensor or simulation data remains an open problem. This paper introduces an approach based on scale-dependent monotonicity: the notion that monotonicity can be defined relative to a scale. Real-valued functions defined on a finite set of reals e.g. the sensor data the simulation results, can be partitioned into quasi-monotone segments, i.e. segments monotone with respect to nonzero scale. We can identify the extrema of the quasi-monotone segments. This paper then uses this method to abstract qualitative models from simulation models for the purpose of diagnosis. It shows that using monotone analysis, the abstracted qualitative model is not only sound, but also parsimonious because it generates few landmarks.

Item Type:Conference Paper
Keywords:Piecewise Quasi-Monotone Functions, Model-Based Diagnostic, Qualitative Model Abstraction
Subjects:Computer Science > Artificial Intelligence
ID Code:4494
Deposited By: Lemire, Daniel
Deposited On:11 Aug 2005
Last Modified:11 Mar 2011 08:56


Repository Staff Only: item control page