论文部分内容阅读
本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ，Ｗ＞扩充Ｅ的新假设，事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并证明了相关的定理，本文还建立了缺省理论的一个动态描述过程，证明了其极限是某一特定问题的经验公式集，最后与相关工作进行了比较。
开放的缺省理论
【摘 要】
：
本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ，Ｗ＞扩充Ｅ的新假设，事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并证明了相关的定理，本文还建立了缺省理论的一
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1994年9期
其他文献
腊梅吐芬芳，冬尽春将至。1月15—16日，2010年铁骑力士集团战略发展论坛暨核心客户年会在四川省绵阳市新落成的总部学术报告厅隆重举行。农业部畜牧业司副司长王宗礼．四川省畜牧
本文给出了一种处理占位型空值的简化方法，解决了空值环境下关系数据库的查询问题，针对不同的空值语义语义特点和查询中的作用，定义了三种不同的操作。ＤＥＦＩＮＩＴＥ，ＥＸＩＳＴ，ＭＡＹＢＥ。同时，给出了含有这三种操
文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是着定网语言属型的前提条件
布尔函数的线路复杂下界问题与Ｐ＝？ＮＰ问题有密切关系，若证明了ＮＰ中某问题的线路复杂度是非多项式的，则Ｐ≠ＮＰ。但证明了一个具体的布尔函数具有非线性的线路复杂度下界却是计算复杂性理论中
目的伤口封闭负压引流的技术运用于骨外露的治疗。方法利用武汉VSD公司的产品治疗骨外露患者20例。结果所有骨外露都被肉芽覆盖,肉芽新鲜,质量高。结论VSD封闭创面负压治疗骨
2010年9月中旬．美元受到一系列因素影响持续走软．导致大宗商品逐步上涨。10月8日美国农业部发布的10月度供需报告．全面调低2010／11年度农产品产量、库存等相关数据，形成全球豆类期
在家禽典型日粮中蛋氨酸通常是第一限制性氨基酸。通过添加商品蛋氨酸可以简单快速地平衡氨基酸水平。目前，市场上有两种商业来源的蛋氨酸．一种是含量为99％以上的DL-蛋氨酸（DL—M
目的探讨硝苯地平缓释片在高血压病治疗中的临床效果。方法回顾性分析我院收治的248例高血压患者,随机分为治疗组和对照组,治疗组124例采用常规与硝苯地平缓释片联合治疗,对
函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。
本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结，证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标