逻辑

Reiters default logic is one of the most popular formalism for describing non-monotonic reasoning and is extensive investigated by the community of logical foundations of Artificial Intelligence, particularly, default extension is the hot issue.

Reiter的缺省逻辑是最受关注的非单调推理理论之一，它已被广泛应用于人工智能的各个领域，其中缺省逻辑的扩充是研究的热点。

The model is called the Default Logic for GCI Inference, or DLg, an adapted version of Reiters (1980) default logic and its refinements.

根据一般会话含义非单调性推理的特点，本文在Reiter的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案。

The nonarithmetic operations performed by a computer, such as sorting, comparing, and matching, that involve yes-no decisions.

逻辑，逻辑操作：计算机所完成的需要做出一些是非判断的非数学运算，如排序、比较和匹配

Unlike frogs that metamorphose from tadpoles into adults within a one-year period , mountain yellow-legged frogs of the Sierra Nevada take three to four years to reach adulthood, thus restricted to deeper bodies of water that do not dry up in summer or freeze solid in winter.

显然，这里 restricted 不是后置定语，不可能去修饰 adulthood ，但即使作为伴随状语逻辑意思也错误，谓语动词 take 与 restrict 这两个动作并不是同时发生的，而是两个动作存在因果关系，前一个动作导致了后一个动作，应该用因果关系的并列句来表达该逻辑关系。

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的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

Thus the true-false subset semantics provides a proper semantic representation for non-normal modal operator.

这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示，是对经典的正规模态算子可能世界语义的一个重要发展，是理性Agent性态的逻辑规约的有力工具，可应用于建立新的合适的Agent逻辑系统。

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 whole scheme design, security strategy design and program module are analyzed in detail. What this paper does provides a security and immediate proposal for ticket-selling.

通过这种设计模型把应用逻辑、处理过程和显示逻辑分成不同的组件来实现，这些组件可以进行交互和重用，提高了开发效率，是目前比较流行的方式。

As an application server mode based on the Web, the system introduces three-hierarchy structure corresponding to its three-class processing logic directly, that is, adding a middleware or application server between client computer and server.

其计算基于Web应用服务器模式，采用与三层处理逻辑对应的三级体系结构，即在客户机和服务器两层模式间增加一个中间层，即应用服务器，以与三层处理逻辑直接对应。

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.

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

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。