【摘 要】
：
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,b2,..., and bm (m1)", and the other "All
【机 构】
：
Department of Computer Science
论文部分内容阅读
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,b2,..., and bm (m1)", and the other "All birds can fly,but there exist exceptions". The first type of defaults is readilyformalized but the other, as some researchers have noticed, is difficultto deal with. This paper establishes a general scheme for formalizing defaults of the two types, the key to which is the introduction of atwo-argument predicate ab (I, S) to represent exceptional objects.
其他文献
目的探讨超声和膀胱镜对膀胱癌的诊断及术前分期的临床价值。方法对64例术前同时做过超声检查及膀胱镜的患者资料进行分析,并与病理结果相比较。结果超声检查符合病理结果的
目的研究奥美拉唑溃疡性结肠炎的临床疗效。方法将96例溃疡性结肠炎患者随机分为两组各48例。对照组采用柳氮磺胺吡啶实施治疗，治疗组采用奥美拉唑实施治疗。结果治疗组患者溃
目的探讨高危型人乳头状瘤病毒(HPV)负荷量与细胞学结果为不典型鳞状上皮增生不除外高度上皮内病变(Atypicalsquamous cells not except high lesion,ASC-H)的病例中宫颈上皮
目的探讨人性化护理在多层CT检查中的应用效果。方法将我院2012年1-12月接受多层CT检查672例患者分为两组各336例，对照组采用常规护理方法，观察组采用人性化护理模式。比较两组
目的探讨中药超声雾化熏洗在痔术后切口愈合中的应用效果。方法将患有混合痔并已行手术治疗的患者200例分为两组。实验组采用中药超声雾化熏洗护理伤口，对照组采用中药坐浴，比
目的探讨磷酸肌酸钠外渗致新生儿皮肤损伤的处理方法。方法将2例磷酸肌酸钠外渗致新生儿皮肤损伤患儿对照,1例发生外渗后处理不及时,未采取积极有效的措施;另1例发生外渗后立
Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconservative extension of Duration Calculus (
通过对商品混凝土搅拌站的工艺流程和信息流的分析，挖掘影响混凝土质量和搅拌站管理的一些重要环节，在计算机技术的支持下对混凝土生产控制和技术管理进行了综合研究，并开发出一
目的探讨肝病患者干眼症治疗的护理效果。方法收集2011年1-5月就诊于我院眼科中心并经该院肝病专科医师确诊的肝病患者的干眼症患者，在治疗过程中进行一般护理、用药护理、饮
目的研究探讨LEEP刀联合壳聚糖宫颈抗菌膜治疗慢性宫颈炎的临床与护理效果。方法将180例慢性宫颈炎患者分为随机A组用壳聚糖宫颈抗菌膜治疗、常规护理；B组用LEEP刀联合壳聚糖