阎礼祥，覃征. 自适应推理的知识求精[J]. 浙江大学学报(理学版)，2004， 31(1)：48-50. ？ YAN Lixiang, QIN Zheng. Knowledge refinement of self？adaptive reasoning[J]. Journal of Zhejiang University:Science Edition, 2004, 31(1): 48-50.？
[2]
HAMLET D, MARVIN Z. Software quality, software process, and software testing[J]. Advances in Computers, 1995, 41: 191-229.？
[3]
FRANKL P G, WEYUKER E J. Testing software to detect and reduce risk[J]. Journal of Systems and Software, 2000, 53(3): 275-286.？
[4]
CLARKE E M, PELED D. Model checking[M]. Cambridge: MIT Press, 1999：26-30.？
[5]
HUI L, JINGLEI Z, RUZHAN L. Model checking a rule？based parser[C]//Natural Language Processing and Knowledge Engineering. Beijing, 2007: 221-228.？
[6]
HUI L, JINGLEI Z, RUZHAN L. Toward the formal verification of a unification system[J].IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2009, 39(4): 399-408.？
[7]
XU Desheng,XIA Kejian, ZHANG Dezheng,ZHANG Huangsheng. Model checking the inconsistency and circularity in rule？based expert systems[J]. International Journal of Computer and Information Science, 2009, 2(1): 12-17.？
[8]
ANDRZEJ G, JAMES D. Fixed point theory[M]. New York: Springer？Verlag, 2003: 16-58.？
[9]
KNASTER B. Un théorème sur les fonctions d’ensembles[J]. Pacific Journal of Mathematics, 1928, 6: 133-134.？[17]TARSKI. A lattice？theoretical fixed point theorem and its applications[J]. Pacific Journal of Mathematics , 1955, 5(2): 285-309.
[10]
CRAGUN B J, STEUDEL H J. A decision？table？based processor for checking completeness and consistency in rule？based expert systems[J]. International Journal of Man？Machine Studies, 1987, 26(5): 633-648.？
[11]
RAMASWAMY M, SARKAR S, YE？SHO C. Using directed hypergraphs to verify rule？based expert systems[J]. IEEE Transactions on Knowledge and Data Engineering, 1997, 9(2): 221-237.？
[12]
NAZARETH D L. Investigating the applicability of Petri nets for rule？based system verification[J]. IEEE Transactions on Knowledge and Data Engineering, 1993, 5(3): 402-415.？
[13]
YANG S J H, LEE A S, CHU W C, HONGJI Y. Rule base verification using Petri nets[C]// Computer Software and Applications Conference.Vienna, Austria, 1998: 476-481.？
[14]
BOSTAN？KORPEOGLU B, YAZICI A. Using fuzzy Petri nets for static analysis of rule？bases[C]//19th International Symposium on Computer and Information Sciences (ISCIS 2004). Kemer Antalya, Turkey, 2004: 72-81.？
[15]
BEFLEFEUILLE S, CAPUS L, TOURIGNY N, WELCOMME J B. An approach using a knowledge network to verify consistency of rule bases[C]//7th World Multiconference on Systemics, Cybernetics and Informatics. Orlando, 2003: 63-67.？
[16]
CHUNG？WEI Y, CHIH？PING C. Molecular verification of rule？based systems based on DNA computation[J]. IEEE Transactions on Knowledge and Data Engineering, 2008, 20(7): 965-975.？
