1) third order predicate logic
三阶谓词逻辑
2) 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.
逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。
3) 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.
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。
4) second-order predicate logic
二阶谓词逻辑
5) predicate logic of higher order
高阶谓词逻辑
6) 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.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
补充资料：三阶
【三阶】
（人名）自隋至唐初有所谓三阶法者，为三阶禅师信行所创。信行姓正氏，魏郡人，其母祈佛而生。四岁出家，八岁转涉经论，后于相州法藏寺受具足戒，持戒严峻，四远英达，皆造其门。隋开皇初，住真寂寺。撰对根起行，三阶集录等四十余卷。智行兼备，时称为四依之菩萨。其化大行。十四年寂，寿五十四。见续高僧传十四。
（人名）自隋至唐初有所谓三阶法者，为三阶禅师信行所创。信行姓正氏，魏郡人，其母祈佛而生。四岁出家，八岁转涉经论，后于相州法藏寺受具足戒，持戒严峻，四远英达，皆造其门。隋开皇初，住真寂寺。撰对根起行，三阶集录等四十余卷。智行兼备，时称为四依之菩萨。其化大行。十四年寂，寿五十四。见续高僧传十四。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条