1) Self-belief Epistemic Logics
自信性认知逻辑
2) autoepistemic logic
自认知逻辑
1.
Nonmonotonic reasoning systems including default logic and autoepistemic logic are important in the commonsense reasoning of artificial intelligence.
非单调推理是人工智能领域中一类重要的常识推理,其中包含缺省逻辑、自认知逻辑等内容。
2.
This paper tries to extend single agent autoepistemic logic system to multi-agent case.
本文主要是将单主体(single agent)的自认知逻辑系统(autoepistemic logicsystem)扩充为多主体(Multi-agent)的自认知逻辑系统,同时介绍了其在非单调推理(nonmonotonic reasoning)及数据库(database)系统中的应用。
3) 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, 并给出其语义和公理系
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) Epistemic description logic
认知描述逻辑
1.
By adding the epistemic operator "K" to the description logic,the epistemic description logic can be obtained.
在描述逻辑中加入认知运算符K可以得到认知描述逻辑。
补充资料:自信
自己相信自己:自信心|十分自信|过分自信。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条