Symbolic Processing Combined With Model-Based Reasoning

A computer program for the detection of present and prediction of future discrete states of a complex, real-time engineering system utilizes a combination of symbolic processing and numerical model-based reasoning. One of the biggest weaknesses of a purely symbolic approach is that it enables prediction of only future discrete states while missing all unmodeled states or leading to incorrect identification of an unmodeled state as a modeled one. A purely numerical approach is based on a combination of statistical methods and mathematical models of the applicable physics and necessitates development of a complete model to the level of fidelity required for prediction. In addition, a purely numerical approach does not afford the ability to qualify its results without some form of symbolic processing.

The present software implements numerical algorithms to detect unmodeled events and symbolic algorithms to predict expected behavior, correlate the expected behavior with the unmodeled events, and interpret the results in order to predict future discrete states. The approach embodied in this software differs from that of the BEAM methodology (aspects of which have been discussed in several prior NASA Tech Briefs articles), which provides for prediction of future measurements in the continuous-data domain.

This program was written by Mark James of Caltech for NASA’s Jet Propulsion Laboratory.

This software is available for commercial licensing. Please contact Karina Edmonds of the California Institute of Technology at (626) 395-2322. Refer to NPO-45172.

This Brief includes a Technical Support Package (TSP).

Symbolic Processing Combined With Model-Based Reasoning (reference NPO-45172) is currently available for download from the TSP library.

Please Login at the top of the page to download.


White Papers

Liquid Silicone Rubber Takes the Heat
Sponsored by Proto Labs
Fundamentals of Vector Network Analysis Primer
Sponsored by Rohde and Schwarz A and D
Primer on Laser Micromachining of Polymer-Based Life Science Products
Sponsored by Resonetics
Tubing & Hose Buying Tips, Part 2
Sponsored by Newage Industries
Unique Method for Orifice Production
Sponsored by Bird Precision
CFD for Mechanical Design Engineers - “A Paradigm Shift for Better Design”
Sponsored by Mentor Graphics

White Papers Sponsored By: