在数理逻辑中,谓词逻辑(Predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑,多类逻辑或infinitary..
基于3584个网页-相关网页
谓词逻辑语言 predicate logic language
一阶谓词逻辑 first-order predicate logic ; First Order Predicate Calculus ; [数] predicate logic of first order ; FOPL
一阶模糊谓词逻辑 First-order Fuzzy Predicate Logic
三阶谓词逻辑 [数] third order predicate logic
分布一阶谓词逻辑 distributed first-order predicate logic
二阶谓词逻辑 [数] second-order predicate logic
高阶谓词逻辑 [数] predicate logic of higher order
的一阶谓词逻辑 FOL ; first order logic
模糊谓词逻辑 fuzzy predicate logic
The main contents of this paper as follows:(1)A method of representing spatial access control system, which is based on predicate logic was proposed.
本文主要内容如下:(1)提出了一种基于谓词逻辑的空间访问控制系统的描述方法。
参考来源 - 基于模型检测的空间访问控制系统规则验证This paper proposes a new definition of reconfigurable material handling system(RMHS) , and presents a novel method based on graph theory and first-order logic calculus for configuration modelling of robot-based RMHS.
提出了可重构物流系统的一种新的定义,并在充分考虑移动机器人个体和群体的重构能力的前提下,提出了一种基于图论和谓词逻辑的多机器人可重构物流系统的建模方法。
参考来源 - 多移动机器人可重构物流系统建模方法My thesis built the theory of predicate logic on the basis of L* propositional logic.
本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。
参考来源 - L~*谓词逻辑与R·2,447,543篇论文数据,部分数据来源于NoteExpress
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
By predicate logic, the solution is set up and the process of analysis is provided.
具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。
It can contain classic quantified modal logic and it is flexible and tolerated.
应用推荐