导读:本文包含了子句集论文开题报告文献综述、选题提纲参考文献，主要关键词:子句,下界,神经网络,完备,命题,逻辑,模型。
子句集论文文献综述写法
安世勇,徐扬[1]（2015）在《re-Horn子句集的Horn化及可满足性判定方法》一文中研究指出在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。(本文来源于《济南大学学报(自然科学版)》期刊2015年05期）
刘世林,裴峥[2]（2012）在《子句集Σ的极大Horn下界》一文中研究指出自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。(本文来源于《西华大学学报(自然科学版)》期刊2012年03期）
夏世芬,黄天民,徐扬[3]（2004）在《子句集的神经网络归结(英文)》一文中研究指出给出基于神经网络的归结方法。首先将子句集S表示为δ形式,并且用算子对(·○, )引入两种类型的神经元;然后用这两种神经元构造子句集S的神经网络结构;而后给出基于子句集的神经网络的归结算法;最后证明了该算法的完备性,并用实例进行了验证。(本文来源于《模糊系统与数学》期刊2004年02期）
子句集论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
子句集论文参考文献
[1].安世勇,徐扬.re-Horn子句集的Horn化及可满足性判定方法[J].济南大学学报(自然科学版).2015
[2].刘世林,裴峥.子句集Σ的极大Horn下界[J].西华大学学报(自然科学版).2012
[3].夏世芬,黄天民,徐扬.子句集的神经网络归结(英文)[J].模糊系统与数学.2004