1)predicate logic谓词逻辑
1.Representation of design patterns based on predicate logic;基于谓词逻辑的设计模式描述方法
2.Theory of quasi-truth degrees of formulas in two-valued predicate logic;一类二值谓词逻辑中公式的准真度理论
3.By predicate logic,the solution is set up and the process of analysis is provided.依据谓词逻辑规则建立解决方案,提供了求解的流程。
英文短句/例句
1.predicate logic with equality带同异性的谓词逻辑
2.L～* Predicate Logic and Newly Search for the R_0 Algebra;L～*谓词逻辑与R_0代数性质新探
3.Application of Petri Nets in Predicate Logic Reasoning;谓词逻辑推理中的Petri网应用
4.Prolog Programming Based on Predicate Logic基于谓词逻辑的Prolog程序设计
5.Division Operation Semantics and Realization by SQL Based on Predicate Logic;基于谓词逻辑的除法运算语义及其SQL实现
6.Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;一阶模糊谓词逻辑公式的可测集解释真度理论
7.The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;一阶谓词逻辑在人工智能知识表示中的应用
8.Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;模糊谓词逻辑公式的有限和可数解释真度理论
9.Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic基于条件谓词逻辑的可信计算形式化分析
10.Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
11.This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。
12.Problem of Rigid Assignment to Variables in Predicate Modal Logic谓词模态逻辑中变量的严格指派问题
13.On the Exceptional Cases of the Consistency in the Logical Subject of Particles;浅析分词逻辑主谓关系一致的几种特殊情况
14.a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).表示个体,谓词,个体量化,和命题关系的一种形式逻辑。
15.Logical Relationships of the Non-finites with Related Elements in English Sentences;英语句子中非谓语动词与相关句子成分的逻辑关系
16.A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic基于谓词μ演算和空间逻辑的模型检测算法研究
17.shared logic word processing equipment共享逻辑字词处理设备
18.A predicate is something said about an argument or it states the logical relation linking the arguments n a sentence.一个谓词是关于论元的陈述，或者说明一个句子的论元间的逻辑关系。
相关短句/例句
predication logic谓词逻辑
1.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.该文从数据挖掘角度出发,在详细分析了背景知识在数据挖掘中意义和作用的基础上,狭义地给出了背景知识的定义,并提出了基于一阶谓词逻辑的背景知识技术。
2.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的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。
3.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.从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中；然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁，便于程序的安全性验证 最后，把这些方法用于 Ａｄａ 程序的验证系统
3)metalogic of predicates谓词元逻辑
4)predicate logic述词逻辑 [谓词逻辑]
5)first-order predicate logic一阶谓词逻辑
1.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.逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。
6)logic predicate formula谓词逻辑公式
延伸阅读
谓词逻辑 形式逻辑的最根本部分，也是最基本的逻辑系统或理论。在谓词逻辑中，除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，研究由这些非命题成分组成的命题形式的逻辑性质和规律。谓词逻辑把命题逻辑作为子系统，但为了研究方便，同时也由于它具有某些重要的特殊性质，命题逻辑通常又作为一个独立的系统先研究，而在谓词逻辑部分则集中研究由非命题成分组成的命题形式和量词的逻辑性质与规律。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。此外，还包含高阶量词和高阶谓词的称为高阶逻辑。谓词逻辑也分为经典的谓词逻辑和非经典的谓词逻辑，后者包括作为子系统的非经典的命题逻辑。经典的一阶谓词逻辑是谓词逻辑的基本部分。第一个完整的谓词逻辑系统是G.弗雷格在1879年建立的。K.哥德尔等人系统地研究了谓词逻辑的元逻辑问题，证明了重要的定理。 命题形式 最简单的命题，即所谓原子命题，都可以分析为个体词和谓词两类成分。例如,在"5是素数"、"7大于3"这两个命题中，5、7和 3是个体词，"是素数"、"大于"是谓词。在逻辑中，一个论域中的元素称为个体，个体词是表示个体的符号；表示某个论域中的一个特定个体的符号称为个体常项或个体常元，个体常项也就是它所表示或指称的那个个体的名字；不表示某一确定论域中的特定个体的个体词，称为个体变项或个体变元，用符号x,y,z和x1,y1,z1,...表示；个体变项取任一论域中的任一个体为值。谓词是表示个体的性质和个体之间关系的符号。个体的性质也称一元关系，表示个体的性质即一元关系的称为一元谓词。两个个体之间的关系称为二元关系，n个个体之间的关系称为n元关系。表示二元关系的为二元谓词，表示 n元关系的为 n元谓词。如"是素数"就是一元谓词，"大于"是二元谓词,"在...之间"是三元谓词。表示某一论域中的特定的性质或关系的称为谓词常项或谓词常元,"是素数"等都是谓词常项。不表示某一确定论域中的特定性质或关系的称为谓词变项或谓词变元。谓词变项用符号F,G,H和F1，G1，H1，...表示。谓词变项也分为一元的、二元的、...,n元的，等等。谓词变项的元数可以明晰地标示出来，如F1表示F是一元的，G2表示G是二元的，但也可以不这样做。在一公式中，一个谓词变项后面跟的个体变项的个数,就表示这个谓词变项的元数。例如,F(x)中F是一元的，G(x,y)中G是二元的，H(x1,x2,...,xn)中H是n元的。同一个符号，比如F，在不同的公式中可以表示不同元数，但在一个复杂的公式中，同一符号的几处出现是同一个谓词变项。应用个体变项和谓词变项,"5是素数"、"7大于3"这两个原子命题的形式可分别表示为F(x)和G(x,y)这两个公式。一般地陈述n个个体间有某关系的原子命题的形式，用一个 n元谓词变项后面跟n个个体变项的公式表示,该公式为: F(x1,x2,...,xn)。表示原子命题的形式的公式称为原子公式。 除了个体词和谓词，组成命题的成分还有量词。量词是命题中表示数量的词，它分为全称量词和存在量词。例如，在"所有阔叶植物是落叶植物"、"有的水生动物是肺呼吸的"这两个命题中的"所有"、"有的"都是量词,其中前者是全称量词,后者为存在量词。在汉语中,"所有"、"一切"、"凡"等表示全称量词,"有的"、"有"、"至少有一"等表示存在量词。全称量词是在符号凬后跟一个个体变项(比如x),表示为(凬x)，读作："对任一x"，"所有x"。存在量词在符号ヨ后跟一个个体变项（比如x），表示为(ヨx)，读作："有一x"，"存在一x"。在一个公式前面加上量词，称为量化式,如(凬x)F(x)和(ヨx)F(x)，就分别称为全称量化式和存在量化式。(凬x)F(x)表示"所有x，x是F,即一切事物都是F"；(ヨx)F(x)表示"有一x,x是F,即有一事物是F"。 从原子公式出发，应用量词和命题联结词塡、∧、∨、→和凮就可以构造出表示各种复杂的命题形式的公式。例如，"所有阔叶植物是落叶植物"这一命题形式的公式为： (凬x)(F(x)→G(x))； "有的水生动物是肺呼吸的"这一命题形式的公式为： (ヨx)(F(x)∧G(x))。 "一切自然数有大于它的自然数"、"每人都有一个父亲"这类命题，具有更复杂的公式，即： (凬x)(F(x)→(ヨy)(F(y)∧G(x,y))) 谓词逻辑中的这种命题形式比命题逻辑更为复杂，其数量也非常多，相应的公式的数目是无穷的。 公式的解释 谓词逻辑的公式可以分为普遍有效的、可满足的和不可满足的三类。普遍有效的公式表达谓词逻辑的规律。为了刻划公式的普遍有效性和可满足性，首先需要说明对公式的解释。一个解释由一个非空个体域D和一个赋值υ组成，对每一个体变元x,υ都赋与D中的一个个体为值，如果对个体变元 x1,x2,...,xn,υ分别赋以D中的个体 a1,a2，...,an为值，υ对个体变元的n元组（x1,x2,...,xn）所赋之值即为(a1,a2,...,an)；对n元谓词变元 F,υ赋与F的值是D中的一个n元关系。令A为一个原子公式 F(x1,x2,...,xn)，υ(A)即υ[F(x1,x2,...,xn)]的值可以为1(即真),也可以为0（即假）。如果 (x1,x2,...,xn)所赋之值 (a1,...,an)属于F所赋之值，υ(A)的值为1,否则为0。υ(A)的值为 1，也就是公式A在此解释下是D中的真命题。每一赋值 υ也给出一个真值赋值。令A、B是任意的公式。υ(塡A)的值为1,当且仅当υ(A)的值为0。υ(A∧B)的值为1,当且仅当υ(A)和υ(B)的值都为1。υ(A∨B)的值为1,当且仅当υ(A)或υ(B)的值为1。υ(A→B)的值为1, 当且仅当υ(A)的值为0或υ(B)的值为1。υ(A凮B)的值为1，当且仅当υ(A)和υ(B)的值相同。 υ(凬x)A(x)的值为1,当且仅当，设A的赋值已经给定, 对每一D中的个体a，A(a)的值为1,即(凬x)A(x)是真的,当且仅当, 设A的赋值已给定，对于D中的每一个体 a，A(a)真。υ(ヨx)A(x)的值为1, 当且仅当, 设A的赋值已给定, 有 D中的个体a，使得A(a)的值为1。 一个公式 A称为可满足的，如果有一不空的个体域D和赋值υ，在此解释下，A为真。 一个公式 A称为普遍有效的，如果对任一解释，也就是对任一不空的个体域和任一赋值，A都真。A普遍有效也就是A常真，记为FA。 显然，一个公式 A是普遍有效的，当且仅当，它的否定塡 A是不可满足的。一个不可满足的公式是常假的，也称为矛盾的。 这里所说的个体域、解释、赋值、真假、普遍有效性和可满足性等概念，都是语义概念。 公理系统 谓词逻辑的普遍有效的公式为数无穷，在一定意义上它们都是逻辑规律。为了系统地研究这类规律,需要对它们作整体的考虑,将它们总括在一个系统之中。谓词演算或者一阶谓词演算就是这样的系统。谓词演算是把谓词逻辑公理化和形式化而建立的形式系统。按照对作为演算出发点的初始符号、公理和变形规则的不同挑选，可以建立不同的谓词演算系统。在初始符号中有符号=的，称为带等词的一阶谓词演算，等词=是一个谓词常元；不带等词的系统就称为（一阶）谓词演算。构成一个谓词逻辑的公理系统的基本要素有：初始符号、形成规则、公理和变形规则等。对此，可以从一个不带等词的系统 F得到说明。 F的初始符号，包括个体变元、谓词变元、联结词和量词以及技术性符号四类。个体变元符号的小写拉丁字母为： x,y,z,x1,y1,z1,x2,...；谓词变元符号为大写拉丁字母，即：F,G,H,F1,G1,...。在原则上,对每一n≥1，应分别列出n元谓词变元，如：F1,G1,H1,...;F 2,G 2,H 2,...；等等。不过,省去上标1,2,...,n，在实践上不会产生混乱。联结词和量词符号为：塡、→、凬；技术性符号为括弧（，）和逗号，。 形成规则规定怎样的符号序列或符号的组合是 F中的合式公式。合式公式经解释后是有意义的。用来描述和讨论 F系统的语言即元语言的符号有：小写希腊字母α，α1，...,αn，δ表示任意的个体变元；fn表示任意的n元谓词变元;大写拉丁字母X,Y表示任意的符号序列。这些符号称为语法变元。F的形成规则有4条：①如果fn是一n元谓词变元,α1,...,αn是个体变元，则fn(α1,...,αn)是一合式公式； ② 如果 X是合式公式，则塡X是合式公式。如果X、Y 是合式公式，则(X→Y)是合式公式； ③ 如果X是合式公式，α是个体变元，则(凬α)X是合式公式； ④ 只有适合以上①～③的是合式公式。合式公式简称公式。用字母A,B,C表示任意的公式。A,B,C也是语法变元，属于元语言。 量词的辖域指一量词后的最短公式，表示一个量词在一个公式中的作用范围。例如,在公式 (凬y)[(凬x)F(x)→G(y)]中，(凬x)的辖域是公式F(x)，(凬y)的辖域是公式[(凬x)F(x)→G(y)]。 变元α在一个公式A中的某次出现是约束出现，如果α的这次出现是在(凬α)中或（凬α）的辖域中；α在一公式 A中的某次出现是自由出现，如果α在A中的这次出现不是约束的。例如，在公式(凬y)[(凬(x)F(x)→G(y)]中, x和y的两次出现都是约束的；在公式[(凬x)F(x)→G(y)]中,x的两次出现是约束的,y的唯一一次出现是自由的。个体变元α可以在A中既有约束出现又有自由出现, 例如, (凬α)F(x)→G(x)。如果个体变元α在A中自由或约束出现,它在A中就是自由或约束出现的。δ对A(α)中的α是自由的, 如果在A(α)中α的自由出现不在(凬δ)的辖域中。 F的公理有无穷多条，并由5个公理图式给出，每个图式都代表无穷多条公理。公理图式用语法变元陈述这5个公理图式是： ① A→(B→A); ② [A→(B→C)]→[(A→B)→(A→C)]; ③ (塡A→塡B)→(C塡A→B→A); ④ (凬α)(A→B)→[A→(凬α)B]，如果α在A中没有自由出现。 ⑤ (凬α)A(α)→A(δ),如果δ对A(α)中的α是自由的。 该图式的A(α)是一合式公式,α是在其中有自由出现的个体变元，A(δ)则是用δ代替α在A(α)中的每处自由出现而得的公式。 根据④以下的公式都是公理： (凬x)[F(y)→G(x,y)]→[F(y)→(凬x)G(x,y); (凬x)[(凬x)F(x)→F(y)]→[(凬x)F(x) →(凬y)F(y)]。 但公式(凬x)[F(x)→G(x,y)]→[F(x)→(凬x)G(x,y)]却不是公理，因为它不符合图式④中关于 x在F(x)中没有自由出现的规定。 根据图式⑤，以下的公式都是公理： (凬x)F(x)→F(y); (凬y)G(y)→G(y); (凬x)F(x,y)→F(y,y); (凬y)[F(y)→G(x,y)]→[F(y)→(凬y)G(y,y)]。 但 (凬x) [F(x)→(凬y)G(x,y)]→[F(y)→(凬y)G(y,y)]不是公理。因为该公式的y对F(x)→(凬y)G(x,y)中的x不是自由的，不符合图式⑤的条件。 变形规则也称推理规则。变形规则的陈述，除使用语法变元，还使用语法符号儱。符号儱在一个公式的前面，表示紧接在儱后面的公式是定理。例如，儱A,表示A是定理。F的变形规则有两条，即：①分离规则,从A和A→B，可以推出B；②概括规则,从A,可以推出(凬α)A。 F中的一个证明，指一有穷公式序列A1,A2, ..., An，其中的每一Ak(k=1,2,...,n)或者是一个公理，或者是由公式Ai和 Aj(i,j
