助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   frame completeness 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
逻辑学
更多类别查询

图标索引 历史查询
 

frame completeness
相关语句
  框架完全性
     We give the semantics and the character axiom of the cognition of actions,establish the minimum system of the new style of logics,and then prove the frame soundness and frame completeness of the system.
     给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性
短句来源
  “frame completeness”译为未确定词的双语例句
     Finally, we prove the frame completeness of EK1 - EK3 with respect to the frame conditions, respectively.
     最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
短句来源
     Finally,we prove the frame completeness of AKC with respect to the frame conditions as well.
     最后,我们证明AKC相对这些框架条件也是框架完全的。
短句来源
  相似匹配句对
     and the frame of the paper.
     五是提供论文的框架和总体写作思路。
短句来源
     The completeness of the requirements.
     要求的整体性。
短句来源
     NET frame.
     NET框架软件开发等方面开展具体工作。
短句来源
     Completeness of l~p Space
     l~p空间的完备性
短句来源
     Finally,we prove the frame completeness of AKC with respect to the frame conditions as well.
     最后,我们证明AKC相对这些框架条件也是框架完全的。
短句来源
查询“frame completeness”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


In this paper,we introduce the cognition of actions on the basis of the commonly dynamic epistemic logics.We give the semantics and the character axiom of the cognition of actions,establish the minimum system of the new style of logics,and then prove the frame soundness and frame completeness of the system.

在通常的动态认知逻辑的基础上,引进对动作的认知。给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性。

Firstly, we construct the epistemic systems EK1 - EK3, give some results of their proof theory. Secondly, we introduce the neighborhood semantics, give the frame conditions of the character axioms and rules of EK1 - EK3, prove the frame soundness of EK1 - EK3 with respect to the frame conditions, respectively. Finally, we prove the frame completeness of EK1 - EK3 with respect to the frame conditions, respectively.

首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。

Firstly,we construct the conditional system AKC with double conditions for aim and background knowledge,give some results of its proof theory.Secondly,we introduce the order neighborhood semantics,give the frame conditions of the character axioms and inference rules of AKC,prove the frame soundness of AKC with respect to the frame conditions.Finally,we prove the frame completeness of AKC with respect to the frame conditions as well.

首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。

 
<< 更多相关文摘    
图标索引 相关查询

 


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

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