在这一章中，我们介绍谓词演算（predicate calculus），它是用于人工智能的一种表示语言。谓词演算的重要性已经在第二部分的介绍中有所提及，它的优点包括明确定义的形式语义（formal...
基于556个网页-相关网页
restricted predicate calculus 狭谓词演算
extended predicate calculus 广义谓词演算
predicate calculus with identity 带恒等式的谓词演算
First Order Predicate Calculus 一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算
second-order predicate calculus [数] 二阶谓词演算
predicate calculus logic 述词演算逻辑
unary predicate calculus 单述词演算 ; 一元谓词演算
higher order predicate calculus 较高阶述词演算
high-order predicate calculus [数] [计] 高阶谓词演算
·2,447,543篇论文数据，部分数据来源于NoteExpress
同义词： functional calculus
以上来源于: WordNet
N the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals 谓词演算; 不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词的数理逻辑形式系统 (Also called functional calculus) → see also propositional calculus
Predicate Calculus and Program Semantics.
谓词演算与程序语义。
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
从而形成了模糊谓词演算一种新的语构与语义体系。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
应用推荐