By Topic

Applying knowledge compilation techniques to model-based reasoning

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Keller, R.M. ; NASA Ames Res. Center, Moffett Field, CA, USA

The application of knowledge compilation techniques to a specialized class of knowledge-based systems known as model-based reasoning (MBR) systems is discussed. Knowledge compilation is defined and explained, and the motivation for applying knowledge compilation techniques to MBR systems, namely, to improve their run-time efficiency on tasks such as diagnosis, design, and simulation, is examined. As an example, a prototype knowledge compilation system capable of compiling both diagnosis and design rules from a general-purpose structure/behavior model of the reaction wheel assembly of NASA's Hubble Space Telescope is considered. R. Davis' criticisms (see proc. 1989 workshop on model-based reasoning, 11-27) and the author's response are reviewed.<>

Published in:

IEEE Expert  (Volume:6 ,  Issue: 2 )