助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   半单调性 的翻译结果: 查询用时:0.18秒
图标索引 在分类学科中查询
所有学科
自动化技术
数学
更多类别查询

图标索引 历史查询
 

半单调性
相关语句
  “半单调性”译为未确定词的双语例句
     W. Etherington developed another type of default theory,which is much more useful than the former.
     W·Etherington则提出了应用范围更为广泛的有序半规范缺省理论,本文先证明了这类缺省理论具有半单调性等各种性质,然后证明了R.
短句来源
     This paper introduces a constrained default logic. Every default theory has its extension,and it is semimonotonic and cumulative. The multiextensions problem is also discussed.
     提出了一种改进缺省逻辑的方法,讨论了这种缺省理论的性质,证明了每个缺省理论都有扩充,具有半单调性和累积性,并讨论了处理多扩充问题的一种方法.
短句来源
  相似匹配句对
     proving unanimously successive.
     证明单调性.
短句来源
     The Monotonicity Problems for Generalized Inverses or Positive Semidefinite Self-Conjugate Quaternion Matrices
     正定自共轭四元数矩阵广义逆的单调性问题
短句来源
     A necessary and sufficient condition on monotonicity of upper(lower) semi-continuous function satisfied with upper(lower) derived function
     具有上(下)导数的上(下)连续函数单调性的一个充要条件
短句来源
     Half Beijinger
     个北京人
短句来源
     Half Empty?
     杯空?
短句来源
查询“半单调性”译词为用户自定义的双语例句

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


Default reasoning is one of the most significant reasoning sys-tem.R.Reiter proposed a proof theory and proved its completeness for normal default theory.W.Etherington developed another type of default theory,which is much more useful than the former.This paper proves that Reiter's proof theory is still complete for ordered seminormal default theory.

缺省推理是各种非单调推理系统中最有影响的系统之一,R.Reiter对规范缺省理论作了一系列的研究,他还提出了证明理论,并证明了这一证明理论对于规范缺省理论来说是完备的。W·Etherington则提出了应用范围更为广泛的有序半规范缺省理论,本文先证明了这类缺省理论具有半单调性等各种性质,然后证明了R.Reiter的证明理论对于有序半规范缺省理论也是完备的。

This paper introduces a constrained default logic. Every default theory has its extension,and it is semimonotonic and cumulative. The multiextensions problem is also discussed.

提出了一种改进缺省逻辑的方法,讨论了这种缺省理论的性质,证明了每个缺省理论都有扩充,具有半单调性和累积性,并讨论了处理多扩充问题的一种方法.

Recently, Giordano and Martelli have proposed two new variants ofRelier's default logic (DL): commitment to assumptions default logic (CADL) andquasi-default logic (QDL). The first variant is cumulative and commits toassumptions, like Brewka's cumulative default logic (CDL), but is not semimonotonic.The other one is also cumulative, but does not commit to assumptions, and hence isvery closed to Relier's DL. Unfortunately, Giordano and Martelli have only givenquasi-inductive characterizations of extensions for...

Recently, Giordano and Martelli have proposed two new variants ofRelier's default logic (DL): commitment to assumptions default logic (CADL) andquasi-default logic (QDL). The first variant is cumulative and commits toassumptions, like Brewka's cumulative default logic (CDL), but is not semimonotonic.The other one is also cumulative, but does not commit to assumptions, and hence isvery closed to Relier's DL. Unfortunately, Giordano and Martelli have only givenquasi-inductive characterizations of extensions for the two variants. Clearly, it isnot straightforward to derive characterizations, by which algorithms for computingextensions and solving reasoning tasks in CADL and QDL can be gotten easily.This paper establishes a relation between CADL and CDL extensions by applyingthe notion of joint compatibility of a default set. Based on the relation, a newcharacterization is gotten immediately and algorithms for reasoning tasks in CADL arepresented with a sightly difference that the credulous reasoning in CADL is harderthan one in CDL since the membership problem of △= (D,W) is no longer reducedinto one of △R= (DCA[R], WCA[R]). A relation between sets of generatingdefaults for DL extension and ones for QDL extensions is also established. Farther, afinite characterization of QDL extensions is derived by introducing the notion ofQcompatibility, and algorithms and complexity for main reasoning tasks in QDL arealso gotten.

Giordano和Martelli提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(CommitmenttoASSumptionsDefaultLongic)与QDI(Quasi-DefaultLogic),它们都具有累积性,但不再具半单调性,QDL甚至不再承诺预设(Committoassumptions).本文基于我们已经导出的CDL(Cummula-tiveDefaultLogic)与DL扩张的特征,通过建立CADL扩张与CDL扩张之间以及QDL扩张与DL扩张间的关系,获得了CADL与QDL扩张的新特征.并据此得到相应的主要推理任务的算法及复杂性.

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

 


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

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