【摘 要】
：
说明了决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ（ＫｎｏｗｌｅｄｇｅＢａｓｅＶｅｒｉｆｉｅｒ）。给出了在ＫＢＶ中检查冗余、矛盾、循环、不完备性的算法。ＫＢＶ能对包含特定规则、通用规则和框架的
论文部分内容阅读
说明了决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ（ＫｎｏｗｌｅｄｇｅＢａｓｅＶｅｒｉｆｉｅｒ）。给出了在ＫＢＶ中检查冗余、矛盾、循环、不完备性的算法。ＫＢＶ能对包含特定规则、通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。
The relationship between decision table and knowledge base is illustrated. KBV (KnowledgeBaseVerifier), a knowledge base verification tool based on decision table developed by the author, is introduced in detail. The algorithm of checking redundancy, contradiction, circulation and incompleteness in KBV is given. KBV can validate a knowledge base that contains specific rules, common rules, and frameworks. Due to the logical relationship between sub-decision tables, the result obtained by KBV is global.
其他文献
尹某,女,34岁,已婚。开1991年9月20日入院。患者因全身皮肤变黑、少食、乏力、全身浮肿,于1988年3月曾来本院就诊。查体:表情淡漠,反应迟钝,全身皮肤粗糙伴褐色色素斑,尤以
研究36例地方性克汀病患者的多形式脑诱发电位发现,全部病人的BAEPS异常,其中15例进行ECochG检查,表现为电平坦或N_1后延。33例的SSEPS检查,9例异常,异常率为27.27%。34例VEP
文献检索课中新老教学内容之间、检索技能与情报意识之间、信息的获取与分析之间、检索的方法和思路之间、作业与科研课题之间、教学的多层次之间等诸种关系，需要在该课的教学
通过静电纺丝法制备了不同银含量的Ag-TiO2复合纳米纤维。通过扫描电镜和X射线衍射方法对制备的Ag-TiO2复合纳米纤维进行了检测与分析。结果表明：在所制各的纳米纤维中，银以单质银纳米颗粒的形式均匀镶嵌在TiO2纳米纤维中，在热处理过程可以抑制TiO2结晶。同时银颗粒的存在可以抑制TiO2锐钛矿相的产生，也可以促进金红石相的生成。
患者女性,60岁。间断头晕10年,加重1周入院。查体:BP:18/10 kPa(135/75 mmHg),神志清楚,双瞳孔等圆,光反射敏感,眼球无震颤,颈软,头左偏时头晕加重,心界不大,心率70次/分。
综合、分析中外图书馆学者对选书要素的研究成果，在此基础上提出了６个选书要素，并运用层次分析法对其进行了综合评价
Based on the analysis of the research results of Chine
对Ⅱ型糖尿病患者血清载脂蛋白ＡＩ和Ｂ的评估山西省人民医院（０３００１２）张效春，李建夫，杨蕴华，荣秀芹载脂蛋白（Ａｐｏ）是血浆脂蛋白的蛋白部分，国内有报告ＡｐｏＡＩ／ＡｐｏＢ比值是糖尿病（ＤＭ）并冠心病（ＣＨＤ）、动脉粥样硬化（ＡＳ）的一项重要危
[病例]女性,40岁。因2年前亲人病故后经常失眠、多梦、易哭、注意力不集中,考虑为神经衰弱,服用谷维素、安定及中药等,效果不佳。近2年来情绪不稳,忙忙碌碌,易激动,有时语无
说起汽车的高科技配置,很多人第一反应就是007邦德。邦德的车对于每位车迷都是梦寐以求的,然而对于普通车主来说,成为大众化的高科技日渐触手可及。因此,在竞争激烈的中级车
虽然城市平均工资水平在3 500元左右,但汽车消费的数量仍在节节上升。自2002年中国私家车消费在济南起步以来,在经历了近9年的发展之后,济南的汽车维修业跟随城市汽车消费,出