[1]SUWA M,SCOTT A C,SHORTLIFFE E H.An approach to verifying completeness and consistency in a rule-based expert system[J].Artificial Intelligence Magazine,1982,3(4):16-21.
[2]CRAGUN B J,STEUDEL H J.A decision table based processor for checking completeness and consistency[J].International Journal of Man-Machine Studies,1987(26):633-648.
[3]VALIENTE G.Verification of knowledge base redundancy and subsumption using graph transformations[J].International Journal of Expert Systens,1993,6(3):344-355.
[4]ANTONIOU G.Verification and correctness issues for nonmonotonic knowledge bases[J].International Journal of Intelligent Systems,1998,12(10):725-738.
[5]陈世福,潘金贵,徐殿祥.产生式知识库一致性和冗余性检查[J].计算机学报,1992,15(9):670-675.
[6]周爱武,汪海威.基于“规则架+规则体”知识库的一致性与冗余性检查[J].合肥工业大学学报:自然科学版,1998,21(3):90-94.
[7]陈朝东,黄国兴.图论在产生式系统知识库维护中的应用[J].微型电脑应用,2000,16(4):35-37.
[8]孙运传,别荣芳.产生式规则库的求精研究[J].北京师范大学学报:自然科学版,2003,39(4):435-443.
[9]李厦.基于Petri网的故障诊断技术研究及其在液压系统中的应用[D].上海:同济大学,2006. |