Share Email Print

Proceedings Paper

Use of qualitative simulation in support of model-based reasoning
Author(s): Benjamin Jack Kuipers
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

Qualitative reasoning is a collection of methods for building and simulating models of physical systems in spite of incomplete knowledge. The QSIM representation and simulation algorithm apply to models in the form of qualitative differential equations, which allow incompletely known quantity spaces and functional relations, and isolated behavioral discontinuities, to be described qualitatively. In the past few years, we have extended the early “limit analysis” methods for qualitative simulation to more sophisticated methods capable of simulating realistic systems. • The qualitative behavior description can be augmented and refined with incomplete quantitative information, producing more detailed predictions and detecting and excluding behaviors that are qualitatively plausible but quantitatively impossible. • The phase space representation, and the mathematical theory of dynamical systems, provides a more global perspective and more sophisticated filters on the set of qualitative predictions. • Complex systems must be hierarchically decomposed into simpler ones. In a time-scale abstraction hierarchy, fast mechanisms view slower mechanisms as constant, while slow mechanisms view faster ones as instantaneous (e.g. as functional relations). • Model-building methods based on device-centered and process-centered ontologies have been implemented as compilers which build qualitative differential equations for QSIM to simulate. • Applications of qualitative simulation are under development for monitoring and diagnosis of dynamic processes; and for recognizing and expressing teleological relationships in design.

Paper Details

Date Published: 1 January 1990
PDF: 7 pages
Proc. SPIE 1293, Applications of Artificial Intelligence VIII, (1 January 1990); doi: 10.1117/12.21071
Show Author Affiliations
Benjamin Jack Kuipers, Univ. of Texas/Austin (United States)

Published in SPIE Proceedings Vol. 1293:
Applications of Artificial Intelligence VIII
Mohan M. Trivedi, Editor(s)

© SPIE. Terms of Use
Back to Top