导读:本文包含了归结反演论文开题报告文献综述及选题提纲参考文献，主要关键词:可视化技术,归结反演,谓词逻辑
归结反演论文文献综述
褚国嫘[1]（2008）在《归结反演中的可视化技术研究》一文中研究指出本文工作内容为归结反演中的可视化技术研究。论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统。本文在分析了现有的几种可视化技术后,提出了可视化归结反演过程的概念,确定了归结反演过程中的可视化对象和可视化方法,即用树结构可视化逻辑公式,用层次图可视化归结反演过程,并在计算机上实现了可视化的归结反演系统VR。在VR中,完成了逻辑公式在计算机内的表示,实现了归结反演中的算法,并利用可视化技术实现了五种策略的归结反演过程的可视化,同时对归结反演的两个中间阶段进行了可视化。实验表明,本系统对归结反演过程可以进行有效的可视化表示,其有助于理解归结反演过程,并且为研究归结反演过程提供了有效的辅助工具。对于可视化结果的分析,本文提出了一种可视化归结过程复杂度的度量方法,建立了一种归结反演可视化复杂度的度量模型,在VR中予以实现。当可视化技术应用于某一领域中时,用户可以非常直观的了解相应的过程。然而针对不同的算法,不同的运行结果,甚至不同的用户都需要选择不同的可视化处理方法。因此,不断研究如何用好可视化技术是一件长远而有意义的工作。(本文来源于《北京交通大学》期刊2008-06-01）
李健,任晓明[2]（2007）在《Prolog语言—搜索策略的归结反演推理机》一文中研究指出Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。(本文来源于《湖南科技大学学报(社会科学版)》期刊2007年05期）
周奕,吴时霖[3]（1997）在《基于归结反演的Petri网推理新方法》一文中研究指出本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻辑的谓词／变迁网模型中．这些算法都具有较高的效率，为逻辑推论的Ｐ／Ｔ网和Ｐｒ／Ｔ网模型的推理提供了新的有效的方法．(本文来源于《计算机学报》期刊1997年03期）
周西苓[4]（1990）在《基于归结反演和中间—结局分析的机器人问题求解系统(RPRAMS)》一文中研究指出RPRAMS系统是一个有效的机器人规划生成系统,该系统集问题求解的叁大技术于一体,建立了搜索、演绎、归约相结合的有效机制;采用排序技术和回归原理解决目标相互影响问题;系统具有灵活的人机接口和机器人世界的动态显示,采用Common Lisp语言编写,可适用于仓库机器人工作环境。同时,本文对AI的基本算法——中间结局分析法作了较深入的探讨,证明了用归结反演树产生差别的有效性。(本文来源于《南京航空航天大学学报》期刊1990年04期）
归结反演论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
归结反演论文参考文献
[1].褚国嫘.归结反演中的可视化技术研究[D].北京交通大学.2008
[2].李健,任晓明.Prolog语言—搜索策略的归结反演推理机[J].湖南科技大学学报(社会科学版).2007
[3].周奕,吴时霖.基于归结反演的Petri网推理新方法[J].计算机学报.1997
[4].周西苓.基于归结反演和中间—结局分析的机器人问题求解系统(RPRAMS)[J].南京航空航天大学学报.1990