1) authentication logic
认证逻辑
2) epistemic logic
认知逻辑
1.
On some Problems in the Research on Epistemic Logic;
试论认知逻辑研究中的若干问题
2.
The Problems of the Epistemic Logic and Development
认知逻辑存在的问题及发展趋向
3.
The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms.
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L, 并给出其语义和公理系
3) default logic
默认逻辑
1.
This paper focuses on exceptions to inheritance, particularly discusses its representation and reasoning facilities based on default logic, and proposes normal and semi-normal default rules for exceptions.
本文讨论了例外的默认逻辑表达方式和推理机制,探讨了正规默认和半正规默认表达的直观含义和推理能力。
4) cognitive logic
认知逻辑
1.
It is because this semantic methodology is tightly coupled with the human cognitive logic.
文章指出在语言习得过程中,通过对某个词语的语义进行追根溯源,即沿着它来路的历史痕迹一直探究到它的原始语义,可以更透彻地理解该词语,对它的记忆可以说是终身性的,因为这种语言习得法符合人的认知逻辑。
2.
The cognitive logic of law subject should be like this:firstly the intention meaning should be defined from the nature and then the extention meaning should be defined from the appearance,the extention meaning of law subject is open.
法主体的认知逻辑可以是:先从本质层面来界定法主体的内涵,再从现象层面来界定法主体的外延,法主体的外延具有相对的开放性。
6) logical knowledge
逻辑认识
补充资料:自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条