REVISION

作品数:363被引量:292H指数:7
导出分析报告
相关领域:文化科学更多>>
相关作者:冯文秀杨君兴陈小勇张双祥孙道宁更多>>
相关机构:北京师范大学怀来县怀来双语学校华南农业大学西北农业大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划泰国研究基金中国科学院知识创新工程重要方向项目更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 基金=国家重点基础研究发展计划(2002CB312103)x
条 记 录,以下是1-2
视图:
排序:
An algebraic approach to revising propositional rule-based knowledge bases被引量:1
《Science in China(Series F)》2008年第3期240-257,共18页LUAN ShangMin DAI GuoZhong 
Supported by the National Grand Fundamental Research 973 Program of China (Grant No. 2002CB312103)
One of the important topics in knowledge base revision is to introduce an efficient implementation algorithm. Algebraic approaches have good characteristics and implementation method; they may be a choice to solve the...
关键词:knowledge base revision consistency check rule-based knowledge base Petri net 
A programmable approach to revising knowledge bases被引量:7
《Science in China(Series F)》2005年第6期681-692,共12页LUAN Shangmin DAI Guozhong LI Wei 
This work was supposed by the National Fundamental Research 973 Program of China(Grand No.2002CB312103); the National Natural Science Foundation of China(Grant Nos.60033020,70371052).
This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complet...
关键词:knowledge base knowledge base revision RULES predicate logic propositional logic 
检索报告 对象比较 聚类工具 使用帮助 返回顶部