- 更多网络例句与谓词逻辑相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
-
It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.
本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。
-
The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.
采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。
-
The structure and process in PI is similarly to deduction in logic. But PI has much richer structures than predicate calculus. It is a complex of logic and psychology.
PI的结构与过程类似于逻辑中的演绎推理，但它的可取之处在于它可以提供比谓词逻辑更加丰富的结构形式，它是心理学与逻辑的综合。
-
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 .
逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。
-
But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.
不过，当我们把DRS置于DRT中，并把一阶谓词逻辑公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出来的，后者则是感觉出来的。
-
Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.
本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。
-
One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.
句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。
-
One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.3 f0 o j: W
句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。
-
In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...
在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。
- 更多网络解释与谓词逻辑相关的网络解释 [注：此内容来源于网络，仅供参考]
-
inconsistent：不一致的
一个WFF集为不一致的 (inconsistent) 当且仅当它并不是一致的--没有任何真值赋与可令集内的每一WFF同时为真. 逻辑系统有许多种. 不同的逻辑系统采用的人工语言也不同. 例如,谓词逻辑除包括语句逻辑的语汇外,还包括谓词 (predicates),
-
logical variable：逻辑变量 IN FOPC(一阶谓词演算)
115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答
-
predicate logic：谓词逻辑
理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...
-
predicate logic：述词逻辑 [谓词逻辑]
predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑] | predicate-argument structure 述词论元结构
-
predicate logic language：谓词逻辑语言
predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应
-
knowledge predicate logic：知道谓词逻辑
系词:which noun acts as predicate copulative verb | 知道谓词逻辑:knowledge predicate logic | 动词谓语句:verbal predicate sentence
-
first order predicate logic：一阶谓词逻辑
谓词逻辑 predicate logic | 一阶谓词逻辑 first order predicate logic | 非单调逻辑 nonmonotonic logic
-
predicate symbol：谓词符号
PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,
-
predicate variable：谓词变量
谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol
-
Description Logics：描述逻辑
描述逻辑(Description Logics)就是一种建立在一阶谓词逻辑之上的用于描述本体数学性质的形式化工具 . 从表面上看来,描述逻辑并不是一阶谓词逻辑的子语言,也就是说它们采用的是不同的语言结构,但实际上描述逻辑从语义上对应着一阶谓词逻辑的一个部分(fragment),