查询词典 predicate logic

Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc.

然后，调用现有逻辑程序求解器与描述逻辑推理机来实现查询等推理任务。

The power- plant alarm system is very complex as it generally involves a number of interconnected logic circuits com prising multiple AND,OR and NOT gates,flip- flops,time delay and other logic elements.

发电厂警报系统的特点是其逻辑线路中包含了延时元件，从而引入了时间因素，要对这样的系统进行故障诊断，必须计及警报信息的时间特性。

Historical thinking has been considered as the core in the middle school history teaching. Logic thinking, as one of the abilities of historic thinking, is right the basis of the accuracy of it. Without rigorous logic pattens, thinking would be in a chaotic and ridiculous state.

在中学历史学科教学中，历史思维能力是历史学科能力的核心，而作为历史思维能力之一的逻辑思维是历史思维正确性的基础，没有严密的逻辑基础，思维将是混乱的，乃至是荒谬的。

The merits and shortcomes of the two kind methods to develop the real time risk model of nuclear power plant, using outsets equation and using master logic fault tree, are carefully evaluated, especially for the possibility to underestimate the risk when the method of cutsets equation is adopted. At the same time, the necessity and advantage of master logic fault tree is pointed out.

本文详细分析了两类建立核电站实时风险模型的方法-割集方程法与大故障树法各自的不足之处，尤其是对割集方程法造成风险评价结果精确性的不足进行了细致的分析，指出采用大故障树法建立核电站风险模型的必要性和优越性。

Taking the description logic ALCQO (attributive language with complements, qualified number restrictions and nominals) as an example of the X of EDDL, this paper proposes a tableau decision algorithm for the logic EDDL and proves that this algorithm is terminating, sound and complete.

以 X 为描述逻辑ALCQO(attributive language with complements，qualified number restrictions and nominals)的情况为例，给出了EDDL的表判定算法，并证明了算法的可终止性、可靠性和完备性。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced.

为了克服现有的信念、愿望和意图逻辑中存在的问题，为非正规模态算子提供一种合适的语义表示。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

The data location includes memory data memorizer and memory map register, which share uniform data and address buses, at the same time occupy independent physical spaces, respectively, both physical and logic addresses separated and independently addressed, respectively, and can multiplex the same logic address.

内存数据存储器和内存映射寄存器共享统一的数据总线和数据地址总线。同时，内存数据存储器和内存映射寄存器各自占有独立的物理空间，物理地址和逻辑地址均分开，各自独立编址，内存数据存储器和内存映射寄存器对同一逻辑地址可以复用。

4The logic in daily lives of students in point school inclines to mathematical logic more than the students in common school.

重点学校的学生比普通学校的学生日常推理更加倾向于使用数学推理。

In this new architectural plan the Garden of Golgotha came to be at the centre of the new city.

Aelia 是高举他自己，并在此城内朝拜罗马诸神。

The continuous nature of peat accumulation means that terrestrial coaly rocks may provide a higher resolution and more complete record of base-level change than the time-equivalent shallow-marine strata, thus enabling the identification of highfrequency cycles that are not recorded in themarine strata.

泥炭积累的持续性质的手段，陆地coaly岩石可提供较高的分辨率和更完整的记录基准面变化的影响时，相当于浅海阶层，从而使确定的高频周期，不记录在themarine 阶层。