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

图标索引 历史查询
 

超协调逻辑
相关语句
  “超协调逻辑”译为未确定词的双语例句
     Paraconsistent Logic( I ):Studied on Tradictional Paraconsistent Logic
     超协调逻辑(Ⅰ)——传统超协调逻辑研究
短句来源
     The definition of first-order paraconsistent circumscription LPc is provided. Its relations to the logics of paradox (LP and LPm) and circumscription (CIRC) are proved. LPc has the advantages of nonmonotonic logic and paraconsistent logic, and can overcome the problem existed in nonmonotonic logic and paraconsistent logic.
     本文给出了一阶超协调限制逻辑LPc的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LPc作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点,而且能解决非单调逻辑和超协调逻辑存在的问题,它可作为在不完全与不协调知识下常识推理的形式化,因此它在知识表示中具有广泛的应用.
短句来源
     A method is provided as an alternative approach for making the reasoning ability of paraconsistent logic as powerful as the classical one.
     提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.
短句来源
  相似匹配句对
     PARACONSISTENT CIRCUMSCRIPTIVE LOGIC
     协调限制逻辑
短句来源
     A Tentative Analysis on the Paraconsistent Logic
     次协调逻辑初探
短句来源
     Paraconsistent Logic( I ):Studied on Tradictional Paraconsistent Logic
     协调逻辑(Ⅰ)——传统协调逻辑研究
短句来源
     What Is Paraconsistent Logic
     什么是弗协调逻辑?
短句来源
     FUZZY QUESTION AND SUPERPROPOSITION LOGIC
     模糊问句与命题逻辑
短句来源
查询“超协调逻辑”译词为用户自定义的双语例句

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


The definition of first-order paraconsistent circumscription LPc is provided. Its relations to the logics of paradox (LP and LPm) and circumscription (CIRC) are proved. LPc has the advantages of nonmonotonic logic and paraconsistent logic, and can overcome the problem existed in nonmonotonic logic and paraconsistent logic. Therefore it has wide applications in knowledge representation.

本文给出了一阶超协调限制逻辑LPc的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LPc作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点,而且能解决非单调逻辑和超协调逻辑存在的问题,它可作为在不完全与不协调知识下常识推理的形式化,因此它在知识表示中具有广泛的应用.

The LP (logic of paradox) is a paraconsistent logic. One of the motivationsbehind paraconsistent logic, namely LP, is that it should not allow that everything followsfrom a single contradiction. However it has one important drawback: that some classicalinferences would be invalid in LP. The LP.(logic of minimal paradox) can overcome thisdrawback, such that paraconsistent logic would be equivalent to classical logic when therewas not direct effect of a contradiction. Originally, LP and LP. were only defined in...

The LP (logic of paradox) is a paraconsistent logic. One of the motivationsbehind paraconsistent logic, namely LP, is that it should not allow that everything followsfrom a single contradiction. However it has one important drawback: that some classicalinferences would be invalid in LP. The LP.(logic of minimal paradox) can overcome thisdrawback, such that paraconsistent logic would be equivalent to classical logic when therewas not direct effect of a contradiction. Originally, LP and LP. were only defined in semantic. Although some proof theories for LP were introduced, it has left open how to obtain a satisfactory proof theory for LP.. This paper propose the sound and completestableaux with respect to the semantics of LP and LP., respectively.

悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论.

Traditional Gaussian elimination only can handle the equation set which is full order. Now applying the idea from nonmonotonic logic and paraconsistent logic, a improving to traditional Gaussian elimination can be applied effectively to all Gauation set, so it can have a wide application in engineering areas.

传统的高斯消元法只能处理多元一次方程组满秩的情况,本文应用人工智能中非单调逻辑和超协调逻辑的思想,通过对高斯消元法的改进,使其对所有的多元一次方程组都能进行有效的处理,从而扩展了在工程上的应用范围。

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

 


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

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