A Logic-Based Approach To Automated System Management

Lin, Along

HP Development Company

关键词: diagnosis;    model-based-reasoning;    planning;    logic programming;   

RP-ID  :  HPL-98-19

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

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