HP Labs Technical Reports

Click here for full text: PDF

A Logic-Based Approach To Automated System Management

Lin, Along


Keyword(s): diagnosis; model-based-reasoning; planning; logic programming

Abstract: In this paper, a logic-based approach to automated system management is described. In particular, we focus on model-based fault diagnosis and fault correction based on planning.

12 Pages

Back to Index

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]