导读:本文包含了可能性知识编译论文开题报告文献综述及选题提纲参考文献，主要关键词:扩展规则,可能性逻辑,知识编译,EPPCCCL(each,pair,of,possibilistic,clauses,contains,complementary,literals)理论
可能性知识编译论文文献综述
殷明浩,孙吉贵,林海,吴瑕[1]（2010）在《可能性扩展规则的推理和知识编译》一文中研究指出在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念.在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论,并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的,可以作为可能性知识编译的目标语言.(本文来源于《软件学报》期刊2010年11期）
赵晓威[2]（2010）在《知识编译技术及可能性灵活规划问题研究》一文中研究指出本文的研究工作主要分为两个部分:知识编译技术和可能性灵活规划问题。作为自动推理技术的一个方面,知识编译技术是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式。最初,这种技术被用来处理通用命题推理的难求解性,经过十几年的发展,它已经被广泛地应用到人工智能的许多领域中,然而,目前的知识编译图谱仅包含早期出现的编译目标语言,如OBDD、PI和DNNF等。针对这一问题,本文对几种新发现的编译目标语言的性质进行了深入的分析,同时扩展了知识编译图谱。知识编译图谱便于系统设计者从不同角度为实际应用选择适合的编译目标语言:首先设计者明确某个应用需要目标语言满足哪些查询、转换操作,然后再选择能在多项式时间内支持那些操作最简洁的目标语言,因此,这方面的研究工作很有实际意义。实践证明,问题的编码形式能够在一定程度上影响问题求解效率,因此,我们对可能性灵活规划问题采取不同于以往的编码形式。近些年来,研究人员在描述逻辑领域做了大量实质性的工作,作为基于框架知识表示语言的重构,描述逻辑为知识的结构化表示提供了良好的语义描述。不同的描述逻辑语言具有不同的表达能力,而每种语言推理算法的计算复杂性是由它的表达能力决定的。由于描述逻辑在表达能力和计算复杂性之间存在的均衡关系,它被认为是基于知识应用领域中极具有吸引力的形式化工具。目前,描述逻辑语言已经用于智能规划领域的各个方面,如规划表示、规划产生、规划识别和规划分析等等。然而,实际的应用效果告诉我们,描述逻辑可以解决规划领域中很多重要的规划问题,但是在很多情况下需要对描述逻辑的表示和推理能力进行扩展。因此,本文首先对现有的描述逻辑ALC*进行操作符扩展,然后进行模糊扩展,定义了扩展后模糊描述逻辑ALCK*NF的语法和语义,以及模糊描述逻辑ALCK*NF的约束传播规则。另外,我们在模糊ALCK*NF的框架下,对可能性灵活规划问题进行编码,使得能够对动作和规划表示和推理,最后,我们用C++语言实现了这个可能性灵活规划器。本文的研究工作首次用描述逻辑表示了可能性灵活规划问题,将来我们可以进一步扩展描述逻辑,进而解决更加复杂的规划领域问题。(本文来源于《东北师范大学》期刊2010-05-01）
可能性知识编译论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文的研究工作主要分为两个部分:知识编译技术和可能性灵活规划问题。作为自动推理技术的一个方面,知识编译技术是处理命题逻辑知识库常用的一种新技术,知识编译的过程就是把知识转换成易于推理的表示形式。最初,这种技术被用来处理通用命题推理的难求解性,经过十几年的发展,它已经被广泛地应用到人工智能的许多领域中,然而,目前的知识编译图谱仅包含早期出现的编译目标语言,如OBDD、PI和DNNF等。针对这一问题,本文对几种新发现的编译目标语言的性质进行了深入的分析,同时扩展了知识编译图谱。知识编译图谱便于系统设计者从不同角度为实际应用选择适合的编译目标语言:首先设计者明确某个应用需要目标语言满足哪些查询、转换操作,然后再选择能在多项式时间内支持那些操作最简洁的目标语言,因此,这方面的研究工作很有实际意义。实践证明,问题的编码形式能够在一定程度上影响问题求解效率,因此,我们对可能性灵活规划问题采取不同于以往的编码形式。近些年来,研究人员在描述逻辑领域做了大量实质性的工作,作为基于框架知识表示语言的重构,描述逻辑为知识的结构化表示提供了良好的语义描述。不同的描述逻辑语言具有不同的表达能力,而每种语言推理算法的计算复杂性是由它的表达能力决定的。由于描述逻辑在表达能力和计算复杂性之间存在的均衡关系,它被认为是基于知识应用领域中极具有吸引力的形式化工具。目前,描述逻辑语言已经用于智能规划领域的各个方面,如规划表示、规划产生、规划识别和规划分析等等。然而,实际的应用效果告诉我们,描述逻辑可以解决规划领域中很多重要的规划问题,但是在很多情况下需要对描述逻辑的表示和推理能力进行扩展。因此,本文首先对现有的描述逻辑ALC*进行操作符扩展,然后进行模糊扩展,定义了扩展后模糊描述逻辑ALCK*NF的语法和语义,以及模糊描述逻辑ALCK*NF的约束传播规则。另外,我们在模糊ALCK*NF的框架下,对可能性灵活规划问题进行编码,使得能够对动作和规划表示和推理,最后,我们用C++语言实现了这个可能性灵活规划器。本文的研究工作首次用描述逻辑表示了可能性灵活规划问题,将来我们可以进一步扩展描述逻辑,进而解决更加复杂的规划领域问题。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可能性知识编译论文参考文献
[1].殷明浩,孙吉贵,林海,吴瑕.可能性扩展规则的推理和知识编译[J].软件学报.2010
[2].赵晓威.知识编译技术及可能性灵活规划问题研究[D].东北师范大学.2010
标签：扩展规则; 可能性逻辑; 知识编译; EPPCCCL(each; pair; of; possibilistic; clauses; contains; complementary; literals)理论;