MIME-Version: 1.0 Server: CERN/3.0 Date: Tuesday, 07-Jan-97 15:51:48 GMT Content-Type: text/html Content-Length: 29866 Last-Modified: Monday, 18-Nov-96 16:22:47 GMT Papers on Qualitative Reasoning

Papers on Qualitative Reasoning


Overviews

The QR book is now the definitive presentation of the QSIM approach to qualitative reasoning. The papers it supercedes are indicated below.

The two AIJ papers are from a special retrospective issue, reflecting on the status of research in this area.


Bibliographies


Qualitative Simulation


The Basic Idea

Each of these papers was among the top 25 most-cited papers in the first 50 volumes of the Artificial Intelligence Journal, hence the two AIJ 1993 retrospectives.


Protocol Analysis


Methods for Tractable Simulation


Trajectory Constraints for QSIM


Time-Scale Abstraction


Qualitative Phase Space


Comparative Analysis


Semi-Quantitative Reasoning


Q2


Q3


NSIM and SQSIM


QSIM and Temporal Logic Model-Checking

This body of work treats the behavior graph output by QSIM as a temporal model, and applies a model-checking algorithm to prove statements in temporal logic.


Building Qualitative Models

CC


QPC


MISQ


Applying Qualitative Reasoning


Monitoring Continuous Systems


Diagnosis of Continuous Systems


The Space Shuttle Reaction Control System (RCS)

The following models are steps toward building qualitative models of large-scale, realistic, mechanisms.


Design, Purpose, and Teleological Reasoning


Integrating Spatial and Dynamic Reasoning

Qualitative Spatial Representation


Heterogeneous Control


[QR home]

BJK