归结原理论文_刘熠,徐扬,贾海瑞

导读:本文包含了归结原理论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:原理,逻辑,广义,代数,蕴涵,命题,子句。

归结原理论文文献综述

刘熠,徐扬,贾海瑞[1](2015)在《基于格值命题逻辑系统LP(X)的多元α-归结原理的注记》一文中研究指出进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。(本文来源于《计算机科学》期刊2015年04期)

刘熠,徐扬,贾海瑞[2](2015)在《基于格值一阶逻辑LF(X)的多元α-归结原理的注记》一文中研究指出进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的有效性进行了一定分析;这为建立基于LF(X)的多元α-归结方法以及构造多元α-归结算法建立了理论基础。(本文来源于《计算机工程与应用》期刊2015年14期)

张映辉,陶霞,潘晓[3](2014)在《关于Heine归结原理的几点教学注记》一文中研究指出Heine归结原理是函数极限的一个基本性质,它是沟通函数极限与数列极限的桥梁.利用这个原理,可以将许多函数极限问题归结为数列极限问题去解决,因此具有独特的重要性.本文结合自己多年的数学分析课程教学体会,通过研究式教学,引导学生发现了教材中Heine归结原理几个新的推广形式,以期与大家探讨.(本文来源于《怀化学院学报》期刊2014年05期)

许伟涛,张闻强,徐扬,张德贤[4](2014)在《格值一阶逻辑系统的α广义归结原理》一文中研究指出在基于格蕴涵代数的格值逻辑系统框架下,笔者扩展了基于格值逻辑系统的α归结原理,将广义子句集上的归结扩展到一般广义子句集上,提出了基于格值一阶逻辑系统LF(X)的α广义归结原理,建立了格值一阶逻辑系统中α广义归结原理的可靠性定理.通过给出的提升引理,证明了该原理的弱完备性定理.这将为建立基于格值逻辑系统的广义归结方法提供新的自动推理技术.(本文来源于《西安电子科技大学学报》期刊2014年01期)

孙新升,康彩霞,周谆,王玉珏,金勤献[5](2010)在《基于产生式规则和归结原理的环境污染事故应急处理处置专家系统》一文中研究指出利用环境科学与工程学的专家知识,将各种重大环境污染事故的处理处置技术方案做成一个专家系统。开发了一个用于工业集群区重大环境污染事故应急处理处置的专家系统。该系统采用产生式规则推断重大环境污染事故与污染物的关系,利用归结原理分析这些规则,并采用输出表单的形式将数据库中的应急处理处置方案向用户公开,便于用户对系统的操作和使用。为计算机在工业集群区的应用提供了新的例证。(本文来源于《中国科技信息》期刊2010年16期)

李晓冰[6](2009)在《格值命题逻辑系统LP(X)的α-超归结原理》一文中研究指出本文提出了格值命题逻辑系统LP(X)上的α-超归结原理,并证明了其可靠性和完备性。(本文来源于《中国新技术新产品》期刊2009年24期)

李晓冰[7](2009)在《格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理》一文中研究指出针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。(本文来源于《电脑知识与技术》期刊2009年33期)

周平,姜明,孙西芃[8](2008)在《格值一阶逻辑系统LF(X)中带广义量词的α-归结原理》一文中研究指出讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。(本文来源于《模糊系统与数学》期刊2008年05期)

刘秋红,焦仁普,张钰,李娟,王哲[9](2008)在《基于产生式规则和归结原理的农业专家系统》一文中研究指出利用农业植物病理学的专家知识,将各种病虫害的诊断方法做成一个专家系统。该系统利用产生式规则推断症状群与疾病群的关系,利用Robinson归结原理分析这些规则,用启发式搜索的方法推断出病害。为计算机在农业方面的应用提供了新的例证。(本文来源于《安徽农业科学》期刊2008年10期)

肖启莉,肖启敏[10](2007)在《归结原理及其应用》一文中研究指出归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。(本文来源于《计算机与数字工程》期刊2007年05期)

归结原理论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的有效性进行了一定分析;这为建立基于LF(X)的多元α-归结方法以及构造多元α-归结算法建立了理论基础。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

归结原理论文参考文献

[1].刘熠,徐扬,贾海瑞.基于格值命题逻辑系统LP(X)的多元α-归结原理的注记[J].计算机科学.2015

[2].刘熠,徐扬,贾海瑞.基于格值一阶逻辑LF(X)的多元α-归结原理的注记[J].计算机工程与应用.2015

[3].张映辉,陶霞,潘晓.关于Heine归结原理的几点教学注记[J].怀化学院学报.2014

[4].许伟涛,张闻强,徐扬,张德贤.格值一阶逻辑系统的α广义归结原理[J].西安电子科技大学学报.2014

[5].孙新升,康彩霞,周谆,王玉珏,金勤献.基于产生式规则和归结原理的环境污染事故应急处理处置专家系统[J].中国科技信息.2010

[6].李晓冰.格值命题逻辑系统LP(X)的α-超归结原理[J].中国新技术新产品.2009

[7].李晓冰.格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理[J].电脑知识与技术.2009

[8].周平,姜明,孙西芃.格值一阶逻辑系统LF(X)中带广义量词的α-归结原理[J].模糊系统与数学.2008

[9].刘秋红,焦仁普,张钰,李娟,王哲.基于产生式规则和归结原理的农业专家系统[J].安徽农业科学.2008

[10].肖启莉,肖启敏.归结原理及其应用[J].计算机与数字工程.2007

论文知识图

结构方程建模步骤图应用归结原理的证明树应用归结原理的问题求解树真值表 连Robinson归结反演过程科学:E辑,1998,28(2):149-152.[3]王国俊...

标签:;  ;  ;  ;  ;  ;  ;  

归结原理论文_刘熠,徐扬,贾海瑞
下载Doc文档

猜你喜欢