摘要： 1. A Theory of Dianosis from First Principles本文主要讲述了如何通过一阶逻辑来对系统进行描述，以及对系统进行故障分析，主要是基于de Kleer的理论，通过判断系统描述和观测是否一致来判定系统可能哪些地方存在故障，从而得到所有可能故障的集合，然后通过定义最小碰撞集合（最小故障集合），在可能故障的基础上，求最小故障集合（最小碰集）通过树形结构，对可能故障集合进行分析，求得最小故障集合。文中作者用一些方法对故障树进行修剪，使得减少没有重复和冗余，提高效率。根据求得的最小故障集合中有单个部件故障和多个部件故障之分，又提出了单故障诊断。通过系统描述，和部件的 阅读全文