【摘 要】
：
本文给出逻辑程序的与并行推理模型LPT(Loosely-Linked Proof Tree)的基本思想.LPT将基于一阶谓词演算的逻辑程序的执行定义为以主动求值方式进行的与并行推理,具有许多重要
论文部分内容阅读
本文给出逻辑程序的与并行推理模型LPT(Loosely-Linked Proof Tree)的基本思想.LPT将基于一阶谓词演算的逻辑程序的执行定义为以主动求值方式进行的与并行推理,具有许多重要性质.这里,对逻辑式语言无过多限制. 定义1 在关系R的定义子句R:——R_1,…,R_n,若存在一个变量x,x既是R_i的出变量,又是R_j的入变量,则称R_i关于R_j数据相关. 定义2 在关系R的定义子句R:——R_1,…,R_n,若存在变量x_1,…,x_S,且R_(ij)关于x_(j+1)与R_(ij+1)数据相关,则称R_(io),…,R_(is)构成长度为S的单向信道,记为(R_(io)…,
In this paper, we present the basic idea of logic program and Loosely-Linked Proof Tree (LPT) .LPT defines the execution of logic program based on first-order predicate calculus as active evaluation and parallel reasoning, which has many important There is not much restriction on the logic language. Definition 1 In the definition clause R of relation R: - R_1, ..., R_n, if there is a variable x, x is both R_i and R_j Variable, then R_i is said to be related to R_j data.Define 2 The definition clause R in relation R: - R_1, ..., R_n, if variables x_1, ..., x_S exist and R_ (ij) is related to x_ (j + 1) And R_ (ij + 1) data, then R_ (io), ..., R_ (is) constitute a unidirectional channel of length S, denoted as (R_ (io)
其他文献
本文从实用的角度讨论了由DDZ—Ⅱ型仪表组成的最优控制系统实现输出调节的几种方法。这些方法在工程上是易于实现且行之有效的。
This article discusses the practical me
一、概述许多化工容器要对其表面进行搪瓷烧结处理。烧结过程是在容器表面喷涂底釉或面釉后,在大型罩式电炉内进行焙烧,对于不同的釉层有不同的烧成温度和时间要求。由于容
通过发动机气路参数监视发动机健康状态，诊断发动机故障的理论基础是发动机气路上的参数(压力、温度等)和发动机各气动部件的特性(效率、流通能力等)，两者问存在严格的气动热力学关系。因此，可以通过测量气路参数的变化判断发动机部件特性的变化，从而达到发动机健康管理的目的。 发动机的健康参数有很多，这些健康参数分别属于不同的单元体，反映了不同单元体的性能状况，但发动机作为一个整体，其中一个单元体的性能衰退
本文针对目前地震部门在国内设立的重力固体潮台站的具体情况,利用微机“Sirius”(天狼星)为主要工具,叙述了地震科研中重力台站数据的微机管理,并详细介绍了从通讯到管理各
就业是民生之本,社会保障是民生之安,人才是第一资源,人力资源和社会保障工作承载着百姓的殷切希望。近年来,仁寿县人社部门坚持科学发展,服务群众,在大力促进就业、强化社会
上海第二锻压机床厂最近试制成功的 SD2—502C 反射式光电保护器,可以用在冲压设备上作为人身安全保护装置。该保护器采用红外光源,脉冲调制,集成元件双控制回路,保护长度1.
来信点评:《IT时代周刊》总第235期《领先型公司模式值得仿效与提倡》读者观点:我们很难看到一个真正的领先型公司模式,只是看到一场又一场的资本操作。上个月我在北京参加一
CFM56－7B型发动机装载于B737NG系列飞机上，波音737飞机是目前全世界运用最为广泛的民用客机。其飞机本体和其上装载的发动机都是极其复杂的部件，对其工作流程和各系统的工作模式进行控制，是一个比较复杂的工作。本文以CFM56－7B发动机的燃油系统为模型进行简述发动机的控制系统。 发动机燃油和控制系统计算产生指令的推力需要的燃油量。然后发动机燃油和控制系统计量燃油并把燃油喷入燃烧室。发动机燃
一九八七年七月三十日出版的英刊《电子通讯》第二十三卷十六期(ElectronicsLetters 30 the luly 1987 vol.23 No.16)刊登了 C·卡马乔·佩纳斯(C·Camaho—Penalosa,西班牙
简介了用微机—HP4191A 系统(1～1000MHz)对高频石英谐振器进行等效参数测量的原理和方法,并给出了部分样品的测量结果。
The principle and method of measuring the equival