【摘 要】
：
In this paper, we present a programmable method of revising a finite clause set. We first present a procedure whose formal parameters are a consistent clause se
【机 构】
：
Institute of Software,Department of Computer Science and Engineering
论文部分内容阅读
In this paper, we present a programmable method of revising a finite clause set. We first present a procedure whose formal parameters are a consistent clause set Γ and a clause A and whose output is a set of minimal subsets of Γ which are inconsistent with A. The maximal consistent subsets can be generated from all minimal inconsistent subsets. We develop a prototype system based on the above procedure, and discuss the implementation of knowledge base maintenance. At last, we compare the approach presented in this paper with other related approaches. The main characteristic of the approach is that it can be implemented by a computer program.
其他文献
目的：探讨儿童肱骨髁上骨折合并神经损伤的临床特点以及外科治疗效果。方法：对2010年7月～2013年7月我院院收治的45例肱骨髁上骨折患儿病案和影像资料进行回顾性调查，探讨儿童肱骨
婴幼儿一般采用颈外静脉及股静脉穿刺采取静脉血送检，因其年龄小，不合作，需助手协作，操作难度大。应用一次性静脉输液穿刺针头进行桡动脉穿刺采血来代替颈外静脉及股静脉穿刺。取
简要介绍用罐车输送尿素产品存在尿素结块的问题，对结块的原因进行了分析，并采取了处理措施，结块现象基本消除。
本文从藻酸盐在创面护理中的研究现状出发，选取52例创面渗出液较多的患者，随机分为治疗组和对照组各26例：治疗组采用藻酸盐结合多爱肤有边敷料；对照组采用凡士林纱布结合多爱肤有
王宝亮教授是河南中医学院教授、主任医师、省管优秀专家,河南首届名中医,中华中医脑病学术委员会常务委员、河南省中医药学会脑病专业委员会副主任委员、河南省神经内科学术
目的：比较研究经肌间隙入路与正中常规切口入路植椎弓根钉治疗胸腰段骨折的临床效果。方法：采用后路钉棒系统张开复位内固定技术治疗胸腰段椎体骨折患者73例，经肌间隙入路25例，传
目的 探讨超声对卵巢肿瘤的诊断.方法回顾性分析149例病例的超声资料,对超声表现进行分析.结果 我们用超声观察149例卵巢肿瘤的患者,其中良性肿瘤81例(占54.3%),恶性肿瘤68例
爱因斯坦说:“兴趣就是最好的老师.”现在有的学生不愿学英语,关键是他们对英语没有兴趣.因此,作为中学的英语教师,首先应该先去激发学生的学习兴趣.古往今来,凡是教学上有所
结合施工经验,对布线涉及的问题如放线张力的合理选取、线长计算及其影响因素、布线方法、布线控制等进行了总结,以期为张力架线施工提供参考.
在张仲景的不朽之作中,直接与针灸有关的条文达69条,应用的穴位有风池、风府、期门、巨阙、大椎、肺俞、肝俞、劳宫、关元等14个,治疗病证条文32条.他的针灸思想仍是遵循辨证