【摘 要】
：
讨论一类扩展的溯因程序，它包含经典否定、缺省否定、一致性约束以及溯因推理机制，论文的主要思想是：⑴本文限制某些假说（包括不相容假说）的攻击能力这样的出发点，定义一种更符合直
【机 构】
：
吉林大学计算机科学系,中山大学软件研究所
【基金项目】
：
国家自然科学基金!( 69873 0 47)
论文部分内容阅读
讨论一类扩展的溯因程序，它包含经典否定、缺省否定、一致性约束以及溯因推理机制，论文的主要思想是：⑴本文限制某些假说（包括不相容假说）的攻击能力这样的出发点，定义一种更符合直观理解的“反驳”与“击败”概念，其中的Ⅱ－型击败关系具有动态的特点；⑵首次尝试一致性约束可以引起假说间的反驳与是一致笥约束不再仅仅是全局性的相容约束，基于这些思想提出的完全类语义拓展了Ｄｕｎｇ所奠定的溯因逻辑程序设计的辩论理论基
其他文献
根据五华县气象观测站1957--2010年霜冻资料，对五华县近54年的霜冻变化特征作了较全面的分析。结果表明：近54年初霜日呈推迟趋势，终霜日呈提早趋势，无霜期呈增长趋势。初霜日平均
呼气末二氧化碳分压（PETCO2）监测是重要的生命指标之一,不仅可监测机体通气系统功能和呼吸功能,也能反映循环功能和代谢功能的变化。美国麻醉医师协会（ASA）20多年前已规定PETCO2
摘 要 目的：探讨无痛人流前阴道放置卡孕栓终止高危早期妊娠的临床效果。方法：选择剖宫产术后不足1年且意外妊娠8～10周要求终止妊娠的高危妊娠妇女124例,随机分为观察组(62例)和对照组(62例)。观察组在术前放置卡孕栓1mg于阴道后穹隆,45～60分钟后行无痛人工流产手术；对照组在高危妊娠妇女未作任何处理的情况下行无痛人工流产术。观察两组患者的宫颈松弛度及术中出血量。结果：观察组的宫颈松弛度较对
随着人类对健康需求的增强及医学模式的转变，培养适应现代医学及社会需求的护理人员是目前的重要课题。从事几年护理人员带教中深有体会，现与大家共同探讨。 医院的各项制度的建立及不断完善是临床护理教学的有力保障。这几年，护理部在教学工作中不断建立和完善各项教学管理制度。目前，护理教学多采用感觉—知觉—记忆，并且是实行一对一带教方式，这就有利于每一位学生的动态进展的跟踪。每一批学生出科时均有进行理论、实际
doi:10.3969/j.issn.1007-614x.2012.06.414 洁净手术室的使用是医院现代化的重要标志，是医院控制手术感染，保证手术质量的重要手段［1］。其空气净化的主要原理是采取生物洁净技术，将室内、外空气经过三级过滤，并通过各种控制方法达到降低室内微粒浓度的目的［2］。2007年10月8日正式使用洁净手术室，由于严格的无菌管理使术后感染的发生率大大降低，现介绍如下。 术
介绍了沙棘的林学特性,并从采种、育苗、造林、幼林抚育等方面总结了沙棘造林技术,以为其推广应用提供参考。
通过对辽砧2号在优新苹果品种嫁接中的应用研究,结果表明：用新型苹果矮化砧木辽砧2号作为华红、岳阳红、早红霞、长富2号的中间砧,亲和性好、树冠积较小,三年生树结果株率达到
牧草的生长有很强的季节性,往往是夏天牧草过剩,冬春牧草供给不足,这一问题给畜牧业,特别是养牛业、养羊业的持续、稳定、快速发展带来了很大的困难.面对这种情况,国内外的科
目的：探讨普外科手术切口感染发生相关性因素,为有效控制切口感染提供较为可靠的临床依据。方法：对普外科患者16例的手术资料予以回顾性的分析,总结切口感染相关因素。结果：在16
6doi:10.3969/j.issn.1007-614x.2010.05.072 资料与方法 2009年2月24日10例病人,均为男性。发病年龄17～55岁,平均28.6岁。 临床表现:本组病例起始均有发热,体温波动在37.3～41℃,全身无力,腹痛、呕吐(呕吐物为胃内容物)、腹泻水样便、少数病人有黑便,腹泻次数不等,多者每天不计其数,少者3～4次/日,肢体肌肉麻木蚁行感,随后出现肌痛