1 January 1990 Use of qualitative simulation in support of model-based reasoning
Author Affiliations +
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.
© (1990) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Benjamin Jack Kuipers, "Use of qualitative simulation in support of model-based reasoning", Proc. SPIE 1293, Applications of Artificial Intelligence VIII, (1 January 1990); doi: 10.1117/12.21071; https://doi.org/10.1117/12.21071
PROCEEDINGS
7 PAGES


SHARE
RELATED CONTENT

Systems modeling at the Idaho National Engineering Laboratory
Proceedings of SPIE (December 06 1994)
Diagnosing furnace problems with an expert system
Proceedings of SPIE (January 01 1990)
AEMPES An Expert System For In Situ Diagnostics And...
Proceedings of SPIE (February 15 1990)
Replacing design rules in the VLSI design cycle
Proceedings of SPIE (March 14 2012)

Back to Top