信念修改论文_陈小平

导读:本文包含了信念修改论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:信念,定理,调性,命题,逻辑,论文。

信念修改论文文献综述

陈小平^[1]（1996）在《基于信念修改逻辑的归纳支持》一文中研究指出Cohen的归纳支持理论[1,2]引起了不同领域研究者的关注。然而,对该理论中存在问题的探讨尚未取得令人满意的结果。本文试图表明,这些问题中的大多数可在信念修改逻辑的框架内统一地得到更为有效的解决。第一节指出Cohen理论的主要问题并分析其原因;第二节介绍信念修改逻辑的有关成果;第叁节利用这些成果给出一个较为完善的归纳支持的逻辑框架;最后做简要讨论。(本文来源于《1996年逻辑研究专辑》期刊1996-06-30）

黄智生^[2]（1991）在《信念修改的理论与方法》一文中研究指出目前非单调推理、知识与信念逻辑(亦称关于知识的推理)和信念修改理论已成为人工智能理论研究中的叁大新的热门课题。近半年来,笔者参加了国际上先后召开的四次重要的人工智能理论学术会议:JELIA′90(人工智能逻辑,荷兰阿姆斯特丹,1990年9月)、CSL′90(德国海德堡,1990年10月)、MEDLAR′91(英国伦敦,1991年3月)和 KR′91(美国波士顿,1991年4月)。本文将简要介绍有关信念修改的基本概念、理论和方法,也介绍了这一理论研究的进一步发展梗概。(本文来源于《计算机科学》期刊1991年06期）

信念修改论文开题报告

（1）论文研究背景及目的

此处内容要求：

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

写法范例：

目前非单调推理、知识与信念逻辑(亦称关于知识的推理)和信念修改理论已成为人工智能理论研究中的叁大新的热门课题。近半年来,笔者参加了国际上先后召开的四次重要的人工智能理论学术会议:JELIA′90(人工智能逻辑,荷兰阿姆斯特丹,1990年9月)、CSL′90(德国海德堡,1990年10月)、MEDLAR′91(英国伦敦,1991年3月)和 KR′91(美国波士顿,1991年4月)。本文将简要介绍有关信念修改的基本概念、理论和方法,也介绍了这一理论研究的进一步发展梗概。

（2）本文研究方法

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

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

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

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

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

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

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

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

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

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