期刊文献+

产生式知识库一致性和冗余性检查 被引量:14

VERIFYING CONSISTENCE AND REDUNDANCE OF PRODUCTION SYSTEM KNOWLEDGE BASE
在线阅读 下载PDF
导出
摘要 本文介绍了目前应用较为广泛的产生式专家系统知识库的不一致和冗余的几种可能的规则或规则链形式,并给出了一致性和冗余性检查的技术和实现方法.这些技术和方法可以帮助知识工程师有效地建立和维护知识库,并为系统的自动知识获取提供了基础. This paper describes several forms of inconsistent and redundant rules or rule chains in production system knowledge base. Techniques and methods are also given to verify these rules or rule chains. They help engineers to construct and maintain knowledge base effectively and lay the foundation of automatic knowledge acquisition.
出处 《计算机学报》 EI CSCD 北大核心 1992年第9期670-675,共6页 Chinese Journal of Computers
关键词 产生式 知识库 一致性 冗余性 Production system knowledge base, consistence, redundance.
  • 相关文献

参考文献3

  • 1陈世福,计算机学报,1989年,12卷,6期
  • 2史忠植,知识工程,1988年
  • 3刘大有,知识工程原理,1988年

同被引文献50

  • 1王宽全.面向对象的知识表示方法[J].计算机科学,1994,21(1):55-58. 被引量:28
  • 2王永庆.专家系统WMES的研究与实现[J].微机发展,1994,4(6):14-17. 被引量:3
  • 3刘书家,孙名松.知识库维护技术的研究[J].哈尔滨理工大学学报,1997,2(1):33-36. 被引量:9
  • 4Stephen J H,Jeffrey J P, Chen Chyun'Chyi. Fuzzy Rule Base Systems Verification Using High-Level Petri Nets[J].IEEE Trans. Knowledge and Data Eng.,2003,15(2):457-473.
  • 5Zhang D, Nguyen D. PERPARE: A Tool for Knowledge Base Verification[J].IEEE Trans. Knowledge and Data Eng.,1994,6(6):983-989.
  • 6Derek L.Investigating the Applicability of Petri Nets for Rule-Based System Verifieation [J].IEEE Trans. Knowledge and Data Eng., 1993,4(3):402-415.
  • 7Wu Chih-Hung,Lee Shie-Jue.Knowledge Verification with an Enhanced High-Level Petri-Net Model [C].IEEE Expert, September/October,1997:73-80.
  • 8吴荣海,范晓梅,吴坚,赵贵文.加权模糊Petri网的正向推理算法[J].大理学院学报(综合版),2007,6(8):68-72. 被引量:4
  • 9Suwa M, Scott S C, Shordiffe E H. An approach to verifying completeness and consistency in rule-based expert systems[J]. Artificial Intelligence Magazine, 1982,3(4):16.
  • 10Cragun 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.

引证文献14

二级引证文献62

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部