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

图标索引 历史查询
 

first order logic
相关语句
  一阶逻辑
     An algebraic proof of completeness theorem of firstorder logic
     一阶逻辑完备性定理的代数证明
短句来源
  相似匹配句对
     Shotputting angle
     铅球投掷出手角度实验研究
短句来源
     Synthesis of bioactive Nacylalanines
     具有生物活性的N-酰基丙氨酸类化合物的合成研究
短句来源
查询“first  order logic”译词为用户自定义的双语例句

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


This paper improves IDI-resolution principle which was proposed by this author to raise the effective. That is, the electrons in the IDI-clash are sequenced and requiring sequence of electronics in every clash is indecrease, so that 3-type IDI-resolution principle has been introduced. This paper also proves that the 3-type IDI-resolution principle is complete for clauses set for first-order logic.By the way, we have indicated an error about property of PI-clash in reference [1]. We have remedied...

This paper improves IDI-resolution principle which was proposed by this author to raise the effective. That is, the electrons in the IDI-clash are sequenced and requiring sequence of electronics in every clash is indecrease, so that 3-type IDI-resolution principle has been introduced. This paper also proves that the 3-type IDI-resolution principle is complete for clauses set for first-order logic.By the way, we have indicated an error about property of PI-clash in reference [1]. We have remedied this error, using the method proposed in this paper.

本文改进了作者提出的IDI-归结原理,使之有效性有所提高,亦即,将IDI-互撞中的电子序号化,并要求每一个互撞中电子的序号序列是不减的,从而引进了3型IDI-归结原理,并证明了它对于一阶逻辑中的子句集是完备的。 本文还顺便指出了文献[1]中关于PI-互撞的性质的一个错误,并利用本文提出的序号化方法,对这个错误进行了补救。

This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not. In the LI-resolution as well as in lock resolution, the literals resolved upon two parent clauses all have...

This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not. In the LI-resolution as well as in lock resolution, the literals resolved upon two parent clauses all have the minimum lock in that clause. This paper also proves that the LI-resolution principle is completed with a set of clauses in first-order logic with the specified lock way.By using the notion of lemma, the LI-deduction have been linearly sorted. Thus the TLI-deduction is introduced.

为了改进对于一阶逻辑中子句集是完备的2型IDI-归结原理的一个缺点,即在IDI归结中,只对其中一个亲本子句的归结文字有所限制,对另一个亲本子句的归结文字没有任何限制,本文提出了锁语义归结,简称LI-归结。即在这种语义归结原理中,象锁归结过程一样,每一次归结的两个亲本子句中的归结文字,都是该子句中有最小锁的文字,并证明了以一种固定的配锁方法,LI-归结原理对于一阶逻辑中的子句集是完备的。 使用引理的概念,将LI-演绎进行线性整理,从而引进了TLI-演绎的概念。

PROLOG, a kind of first-order logic-based language, doesn't permit quantification over predicates in grammer sense , hence the expressive range suitable for this language is decreased. To solve this problem,the paper presents two efficient methods of handling indirectly the higher-order predicates in PROLOG language, i.e., the "Common Predicates" method and the "Adding Auxiliary Subgoals" method.

基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。

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

 


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

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