metalogic of predicates

用法例句

Representation of design patterns based on predicate logic;

基于谓词逻辑的设计模式描述方法

Theory of quasi-truth degrees of formulas in two-valued predicate logic;

一类二值谓词逻辑中公式的准真度理论

By predicate logic,the solution is set up and the process of analysis is provided.

依据谓词逻辑规则建立解决方案,提供了求解的流程。

From point of view of data mining in this paper,definition of background knowledge is given in narrow sense,and the technology of background knowledge representation is presented by using first order predication logic,based on deeply analyzing meaning and function of background knowledge in data mining.

该文从数据挖掘角度出发,在详细分析了背景知识在数据挖掘中意义和作用的基础上,狭义地给出了背景知识的定义,并提出了基于一阶谓词逻辑的背景知识技术。

At first,this paper introduces presenting knowledge based on semantic network,and transfers expression knowledge of SNetL into the form of predication logic for inference.

介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。

Firstly, This paper analyzes deadlock with predication logic according to request models, and then gives a general expression of deadlock; secondly, it describes the deadlock with temporal logic.

从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中；然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁，便于程序的安全性验证 最后，把这些方法用于 Ａｄａ 程序的验证系统

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic.

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

predicate logic with equality

带同异性的谓词逻辑

L～* Predicate Logic and Newly Search for the R_0 Algebra;

L～*谓词逻辑与R_0代数性质新探

Application of Petri Nets in Predicate Logic Reasoning;

谓词逻辑推理中的Petri网应用

Prolog Programming Based on Predicate Logic

基于谓词逻辑的Prolog程序设计

Division Operation Semantics and Realization by SQL Based on Predicate Logic;

基于谓词逻辑的除法运算语义及其SQL实现

Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;

一阶模糊谓词逻辑公式的可测集解释真度理论

The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;

一阶谓词逻辑在人工智能知识表示中的应用

Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;

模糊谓词逻辑公式的有限和可数解释真度理论

Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic

基于条件谓词逻辑的可信计算形式化分析

Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;

模糊谓词逻辑中基于有限解释的公式的条件α-真度理论

This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.

通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。

Problem of Rigid Assignment to Variables in Predicate Modal Logic

谓词模态逻辑中变量的严格指派问题

On the Exceptional Cases of the Consistency in the Logical Subject of Particles;

浅析分词逻辑主谓关系一致的几种特殊情况

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).

表示个体,谓词,个体量化,和命题关系的一种形式逻辑。

Logical Relationships of the Non-finites with Related Elements in English Sentences;

英语句子中非谓语动词与相关句子成分的逻辑关系

A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic

基于谓词μ演算和空间逻辑的模型检测算法研究

shared logic word processing equipment

共享逻辑字词处理设备

A predicate is something said about an argument or it states the logical relation linking the arguments n a sentence.

一个谓词是关于论元的陈述，或者说明一个句子的论元间的逻辑关系。