提出并实现了一种用卡诺图来简化规则库、消除异常的方法.全文通过一个液压系统故障诊断专家系统的实例充分验证了ESP系统的方便实用性、稳定性、强大的逻辑推理能力以及良好的知识管理功能.