助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[12]条 当前为第1条到12条
 

相关语句
logical omniscience
    Logical Omniscience Problem in Epistemic Logics and the Methods to Resolve It
    认知逻辑中逻辑全知问题及其解决方法
    BDI Semantic of Avoiding Logical Omniscience Problem
    避免逻辑全知的BDI语义
    Two Blind Spots in Recent Logic-Based Agent Study Inferred from the Declaration of Logical Omniscience Problem
    从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点
    On fallacy of logical omniscience problem assertion
    逻辑全知佯谬
    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, 并给出其语义和公理系统
    Comparing with Rao & Georgeff's BDI model and most possible worlds formalisms, in this improved BDI model there are not the logical omniscience problem and the side effect problems except in case of equivalence.
    与 Rao和 Georgeff的 BDI模型以及大多数基于可能世界的形式化相比 ,不存在逻辑全知问题和除等价情况外的副作用问题 .
    In this paper, the authors argue that intention is not a normal modal operator, and present another intention model. It doesn't have the logical omniscience problem and other related problems such as side effect problem, etc.
    该文阐明意图不是正规模态算子 ,并提出了另一种意图模型 ,它不存在“逻辑全知”问题和其他相关问题 (例如 ,副作用问题等 ) .
    Also there do not exist the logical omniscience problem and the side-effect problem under tautological implications for desire and intention.
    并且对愿望和意图不存在逻辑全知问题和重言隐含下的副作用等问题
    The new BDI semantic is presented to have an evolution character by dividing B into subjective belief and objective belief, and by regarding possible world as a temporal stage of recognition procedure, which can describe agent and avoid the logical omniscience problem.
    通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义. 该语义既能描述Agent,又避免了逻辑全知问题.
    Describing these two kinds of belives by the modal logic formalizing tools in non-standard world, the reachable relationship in possible world can be described as the different phases of cognition and of belief realization. This avoids the logical omniscience problem and the logical side effect problem.
    用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了"逻辑全知问题"和逻辑蕴涵的副作用问题.
    According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system,through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem,it was argued clearly that neither of their two premises can stand.
    从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.
    It not only avoids the logical omniscience problem and other related problems (such as side-effect problem, and etc) but also overcomes the shortcomings of the true-false subset semantics and twin-subset semantics. Compared with Konolige and Pollack’s model of intention, this model not only is simpler and more natural, but also satisfies the K-axiom and the Joint Consistency.
    改进的双子集语义不仅避免了基于正规模态逻辑表示的“逻辑全知”问题以及由此带来的副作用等问题,与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,而且克服了前期工作真假子集语义和双子集语义表示的缺陷.
 

首页上一页1下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社