1) order of predicate
谓词的阶
2) high-order predicate
高阶谓词
3) second-order predicate
二阶谓词
4) n-adic predicate
ｎ阶谓词
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) first-order predicate expression
一阶谓词公式
1.
This paper studies the modeling of first-order predicate expression by using predicate/transion system.
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条