1) Classic first-order logic
经典一阶逻辑
2) classical logic
经典逻辑
1.
From Classical Logic to Mathematical Dialectical Logic;
从经典逻辑到数理辩证逻辑
2.
In this paper, classical logic formula computing is discussed deeply.
对经典逻辑公式计算进行了深入的探讨 ,结合神经网络理论提出一种动态神经网络的计算方法 ,并分析了基于数据库串行实现的步骤 。
3.
According to the main methods of implementing the architecture, some concrete architecture, including the classical logic-based architecture, the decision theory-based architecture and the BDI-based .
在分析思考型Agent抽象结构的基础上 ,重点讨论了基于经典逻辑的Agent结构、基于决策理论的Agent结构和基于BDI框架的Agent结构 ,对其进行抽象的形式描述 ,分析其优缺点 ,并简述了相关的实现方
3) first order logic
一阶逻辑
1.
A new algebraic proof of completeness of first order logic;
一阶逻辑完备性定理的新代数证明
2.
The XML Based syntax of KDL was introduced, and the methods of translating KDL into first order logic (FOL) was given.
然后 ,介绍了KDL的扩展语法 ,并从一阶逻辑的角度对KDL的语义特征进行分析 ,提供KDL到FOL(First OrderLogic)的映射方法以完成KDL语言和FOL表达式之间的转化 。
3.
An algorithm of refutational theorem proving for first order logic is presented with analyzing its time consuming.
以一个实例讨论了该算法的应用，结果表明此算法可以保证在预定义的相关边界内，对任意一阶逻辑的推理具有终止
4) first-order logic
一阶逻辑
1.
Non-repudiation protocols model based on first-order logic;
基于一阶逻辑的非否认协议模型
2.
The method is lifted to first-order logic,many-valued logic and infinited-valued logic.
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。
5) IF first-order logic
IF一阶逻辑
1.
Jaakko Hintikka(1929-),one of philosophy s pre-eminent logicians,proposed a new basic first-order logic--Independence-Friendly first-orderlogic (in short IF first-order logic) after his game-theoretical semantics (in short GTS)in 1990s.
本文在古有第一手资料的基础之上，运用现代逻辑的方法，主要从语形和语义两方面对IF一阶逻辑进行研究。
6) non-classical logic
非经典逻辑
1.
This approach which treats set signs as truth values can be applied to some methods and techniques of reasoning suited to classical logics,which make reasoning reform from the non-classical logics to the classical logics.
将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化。
2.
The axiomsand rules of classical logic themselves need to be gradually revised and the rise of manynon-classical logics is necessary and possible.
逻辑理论具有可修正性,经典逻辑的公理和规则本身需要不断修正,多种非经典逻辑的出现是必要的和可能的。
3.
Paraconsistent logic is the most revolutionary spirit in non-classical logic, it restricts the action of Non-Contradiction, and it can tolerate the true contradiction.
弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支。
补充资料：非经典逻辑
最广义的数理逻辑的组成部分之一。指运用特制的人工符号语言和形式化方法研究演绎推理的规律及其相关的各种逻辑系统和理论。它包括模态逻辑、多值逻辑、构造逻辑、道义逻辑、时态逻辑、模糊逻辑等。（见形式逻辑）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条