说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 一阶谓词公式
1)  first-order predicate expression
一阶谓词公式
1.
This paper studies the modeling of first-order predicate expression by using predicate/transion system.
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。
2)  Predication Formula
谓词公式
3)  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.
逻辑推理是人工智能的基础,而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法,因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。
4)  First order predicate logic
一阶谓词逻辑
1.
With the tool of first order predicate logic, this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one s win and the other s loss.
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。
5)  First-order predicate calculus
一阶谓词演算
6)  pure predicate calculus of first order
一阶纯谓词演算
补充资料:一阶公式
一阶公式
first order formula

   一阶逻辑的合式公式,在形式化的一阶语言中递归地定义的公式。设!!!Y0692_1是一阶逻辑的一个形式语言,!!!Y0692_2含逻辑符号和非逻辑符号。!!!Y0692_3中的非逻辑符号有:关系符号PQR等;函数符号FG等;常量符号c,d,e等。每个关系符号,函数符号都指定是n元关系或n元函数。!!!Y0692_4中的逻辑符号有  :个体变元符号!!!Y0692_5,…等;逻辑联词!!!Y0692_6、→等;量词!!!Y0692_7;等号≡;括号),(。!!!Y0692_8的项tt可以是单个个体变元,也可以是单个个体常量  :如果t1tm是项,FLm元函数符号,则F(t1tm)是项。!!!Y0692_9的原子公式:如果t1t2!!!Y0692_10的项,则t1t2是 原子公式;如果t1tn是项,RLn元关系符号,则R(t1tn)是原子公式。!!!Y0692_11的公式:!!!Y0692_12的原子公式是公式;设φψL的公式,x!!!Y0692_13的一个个体变元,则(!!!Y0692_14φ),(φψ),(!!!Y0692_15xφ)都是!!!Y0692_16的公式  。这样定义的语言公式乃至公式的集合统称一阶语言!!!Y0692_17。只要指出!!!Y0692_18的非逻辑符号,一阶语言!!!Y0692_19就被确定。!!!Y0692_20中其他的联结符,量词都不是原始符号,^,ˇ,的定义见命题公式,存在量词定义为xφ!!!Y0692_21!!!Y0692_22!!!Y0692_23x!!!Y0692_24φ。一阶公式中的一个个体变元如果出现在量词的辖域中就称为约束变元,不受任何一个量词约束的变元称为自由变元。没有自由变元的公式称为句子。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条