Numerical Behavior Envelopes for Qualitative Models

9 years 5 months ago
Numerical Behavior Envelopes for Qualitative Models
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current simulation methods, the quantitative knowledge is not exploited as fully as possible. This paper describes dynamic envelopes — a method to exploit quantitative knowledge more fully by deriving and numerically simulating an exfremal system whose solution is guaranteed to bound all solutions of the SQDE. It is shown that such systems can be determined automatically given the SQDE and an initial condition. As model precision increases, the dynamic envelope bounds become more precise than those derived by other semiquantitative inference methods. We demonstrate the utility of our method by showing how it improves the dynamic monitoring and diagnosis of a vacuum pumpdown system. “This work has taken place in the Qualitative Reasoning Group at the Artificial Intelligence Laboratory, The University of Texas at A...
Herbert Kay, Benjamin Kuipers
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where AAAI
Authors Herbert Kay, Benjamin Kuipers
Comments (0)