期刊文献+

规则不一致消解网格服务的设计与实现 被引量:1

Design and Implement of Grid Service for Resolving Rules Inconsistency
下载PDF
导出
摘要 针对规则库合并过程中遇到规则不一致的问题,文中对各种的规则不一致进行了总结,并提出检测和消解方法。在此基础上完成规则的合并、解析、检测、消解等相关功能模块的开发,并对其进行网格化封装,实现了网格平台中规则不一致消解服务。 This papers summarizes the cases of rules inconsistency and presents approaches to the checking and resolution of rules inconsistency in merging rule bases. Grid services for resolving rules inconsistency are realized by the developing of the function modules of rules merging and parsing, and the modules of rules inconsistency checking and resolving.
出处 《电子科技》 2013年第12期138-140,共3页 Electronic Science and Technology
关键词 规则不一致检测 规则不一致消解 网格服务 detection of rules inconsistency resolution of roles inconsistency grid service
  • 相关文献

参考文献8

二级参考文献17

  • 1Suwa 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.
  • 2Cragun 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.
  • 3Valiente G. A technique for knowledge base verification[J]. International Journal of Expert Systems,1993,6(3) :41.
  • 4Hutter D, Langenstein B, Rock G, et al. Formal software development in verification support environment[J]. Journal of Experimental and Theoretical AI,2000(12) :383.
  • 5Grigoris A. Integrity and rule checking in non-monotonic knowledge bases [J]. Knowledge-based Systems, 1996,9(5) :301.
  • 6Ligeza A. Toward logical analysis of tabular rule-based systems[J]. International Journal of Intelligence Systems, 2001,16(3) :333.
  • 7Knauf R, Philippow I, Gonzalez A J. Towards validation and refinement of rule-based systems[J].Journal of Experiment & Theoretical Artificial Intelligence, 2001,12(4):421.
  • 8Andert E P. Integrated knowledge-based system design and validation for solving problem in uncertain environments[J]. International Journal of Man-Machine Studies, 1992,36 (2) : 357.
  • 9Chang C L, Combs J B, Stachowitz R A. A report on the expert systems validation associate(EVA)[J].Expert Systems with Applications, 1990,1(3):217.
  • 10陈世福,计算机学报,1989年,12卷,6期

共引文献27

同被引文献14

  • 1Revault N.Model transformation based on production rules[J].Electronic Notes in Theoretical Computer Science,2003,72(4):1-14.
  • 2Adolfo G A,Cuevas A D.Knowledge Accumulation through Automatic Merging of Ontologies[J].Expert Systems with Applications,2010,37(3):1991-2005.
  • 3Claes J,Poels G.Merging Event Logs for Process Mining:A Rule Based Merging Method and Rule Suggestion Algorithm[J].Expert Systems with Applications,2014,41(16):7291-7306.
  • 4Schmolze J G,Snyder W.Detecting Redundancy Among Production Rules Using Term Rewrite Semantics[J].Knowledge-based System,1999,12(1-2):3-11.
  • 5Valiente G.Verification of Knowledge based on Redundancy and Subsumption Using Transformations[J].International Journal Expert Systems,1993,6(3):341-355.
  • 6Nazareth D L,Kennedy M H.Verification of Rule-Based Knowledge Using Directed Graphs[J].Knowledge Acquisition,1991,3(4):339-360.
  • 7Ramaswamy M,Sarkar S,Chen Y S.Using Directed Hypergraphs to Verify Rule-Based Expert Systems[J].Transactions on knowledge and Data Engineering,1997,9(2):221-237.
  • 8Nuffelen C V.On Adjacency Matrices for Hypergraphs[J].Annals of Discrete Mathematics,1980(9):181.
  • 9孙伟,郭莉,高天一,马沁怡.一种基于有向超图的规则库冗余及环路检测方法[J].大连理工大学学报,2008,48(1):74-78. 被引量:9
  • 10安莉,王建林.用于专家系统规则库的冗余校验方法研究[J].计算机工程与应用,2008,44(34):191-193. 被引量:5

引证文献1

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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