一种检验知识库完备性的方法

知识库完备性检验是一项既重要又困难的工作，本文针对汽轮机故障诊断专家系统，提出了无解核这一概念，使得知识库完备性克服了“组合爆炸”，同时也使得检验结果更加有效和清晰。