1) 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.
弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支。
2) nonclassical logic
非经典逻辑
1.
This paper summarizes the characters of some theories which deal with uncertain information including probability and mathematical statistics,fuzzy mathematics,rough sets,nonclassical logic and grey systems,as well as compares and analyses the similarities and differences among them.
文章概述了概率与数理统计、模糊数学、粗糙集、非经典逻辑及灰色系统等几种处理不确定性信息理论的特点,对它们彼此之间的相似和不同之处进行了比较和分析,并探讨了相互之间进行优势互补以更有效地对不确定性信息进行处理的可能性。
3) non-classical logic algebras
非经典逻辑代数
4) 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结构 ,对其进行抽象的形式描述 ,分析其优缺点 ,并简述了相关的实现方
5) non-classical logics
非古典逻辑
6) classical logic gate
经典逻辑门
1.
In this article,we describe the differences between classical logic gates and quantum logic gates,and explain the characteristics of quantum computation,the strong power of the quantum algorithm,and the problem of the realization of quantum logic gates.
本文通过经典逻辑门与量子逻辑门之比较,论述了量子计算的特点、量子算法的巨大威力及量子逻辑门的实现问题。
补充资料：非经典逻辑
最广义的数理逻辑的组成部分之一。指运用特制的人工符号语言和形式化方法研究演绎推理的规律及其相关的各种逻辑系统和理论。它包括模态逻辑、多值逻辑、构造逻辑、道义逻辑、时态逻辑、模糊逻辑等。（见形式逻辑）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条