助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   逻辑全知 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.098秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
自动化技术
更多类别查询

图标索引 历史查询
 

逻辑全知
相关语句
  logical omniscience
    Logical Omniscience Problem in Epistemic Logics and the Methods to Resolve It
    认知逻辑中逻辑全知问题及其解决方法
短句来源
    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, 并给出其语义和公理系统
短句来源
  logical omniscience
    Logical Omniscience Problem in Epistemic Logics and the Methods to Resolve It
    认知逻辑中逻辑全知问题及其解决方法
短句来源
    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, 并给出其语义和公理系统
短句来源
查询“逻辑全知”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  logical omniscience
Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things.
      
A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents.
      
We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience.
      
The result is a free-standing logic which does not pretend to be a theory of rationality and is therefore immune to, among other charges, that of "logical omniscience".
      
  logical omniscience
Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things.
      
A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents.
      
We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience.
      
The result is a free-standing logic which does not pretend to be a theory of rationality and is therefore immune to, among other charges, that of "logical omniscience".
      


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, 并给出其语义和公理系统

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关逻辑全知的内容
在知识搜索中查有关逻辑全知的内容
在数字搜索中查有关逻辑全知的内容
在概念知识元中查有关逻辑全知的内容
在学术趋势中查有关逻辑全知的内容
 
 

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