论文部分内容阅读
析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出了双析取逻辑程序设计的概念，我们不仅从句法上将正规则析取逻辑程序推广为双析取逻辑程序。而且建立了一种高度直观，灵活的辩论语义框架ＢＤＡＳ。
双析取逻辑程序设计基础（Ⅰ）
【摘 要】
：
析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出了双析取逻辑程序设计的概念，我们不仅从句法
【机 构】
：
南开数学研究所
【出 处】
：
计算机学报
【发表日期】
：
1997年4期
【基金项目】
：
国家攀登计划和国家高科技计划项目
其他文献
互连网络路由器是ＭＰＰ系统的关键部件，其性能优劣直接影响系统性能。路由器根据其所采用的路由算法可分为确定性和自适应路由器两种，其中自适应路由器有灵活性好，网络的通道利用率高
本文提出一个基于分布式局存的ＳＩＭＤ机器的循环分割理论体系以优化运算中所需要的数据传输。该体系使用矩阵表示迭代空间、数据空间和数组存取式。我们引入数据传输概念，并建立一个
ＭＡＳ中ａｇｅｎｔ结成求解联盟可以提高求解效率，但已有策略不能保证达到全局优化解和联盟稳定性。本文提出一种联盟形成的行为规范策略，在具有次加性的面向任务的领域中可以达到全局优化解，并
从我国正式实行事业单位会计制度至今，事业单位的会计核算有了很大程度的改进。然而，随着我国财政改革的不断深入，伴随着事业单位的体制改革的不断深化，目前事业单位会计制度存在
儿科是一个专科性极强的科室,患者病情变化快,语言表达能力欠佳,因此对护理要求较高。新入科护士的专科知识比较局限,技能和综合分析观察能力相对欠缺,为了尽快让其进入角色,
提出一种基于归结的并有关于背景适应吸示例的一致特化理论，该理论给出了最大一般特化假设的归结构造方法，可将其作为一种蕴涵意义下的一般理论特化框架。基于该理论，进一步提出