creators_name: Yan, Yuhong
creators_name: Lemire, Daniel
creators_name: Brooks, Martin
type: confpaper
datestamp: 2005-08-11
lastmod: 2011-03-11 08:56:09
metadata_visibility: show
title: Monotonicity Analysis for Constructing Qualitative Models
ispublished: pub
subjects: comp-sci-art-intel
full_text_status: public
keywords: Piecewise Quasi-Monotone Functions, Model-Based Diagnostic, Qualitative Model Abstraction
abstract: 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.
date: 2004
date_type: published
refereed: TRUE
citation:   Yan, Yuhong and Lemire, Daniel and Brooks, Martin  (2004) Monotonicity Analysis for Constructing Qualitative Models.  [Conference Paper]     
document_url: http://cogprints.org/4494/1/MBR.pdf