不确定推理方法(四).docVIP

PAGE PAGE 32 不确定推理方法（四） 引入新课： 基于一阶谓词逻辑的归结推理方法所依据的证据是确定性的，即谓词所表示的知识要么为“真”，要么为“假”，其推理过程也是以数理逻辑为基础，推理过程是严密的，所推出的结论要么成立，要么不成立。所以基于一阶谓词逻辑的归结推理方法是一种确定性的推理方法。 在日常生活中，人们通常所遇到的情况是信息不够完善、不够精确，即所掌握的知识具有不确定性。人们正是利用这种不确定性的知识进行思维、推理，进而求解问题，所以，为了解决实际问题，必须对不确定知识的表示、推理过程等进行研究。 对不确定性知识的表示、推理方法有多种，著名的有：可信度方法、主观Bayes方法、证据理论方法。 一、不确定推理概述 （一）不确定推理的概念 推理：就是从已知事实出发，运用相关的知识（或规则）逐步推出结论或者证明某个假设成立或不成立的思维过程。 其中：（1）已知事实和知识（规则）是构成推理的两个基本要素。 　　　　　（2）已知事实是推理过程的出发点及推理中使用的知识，称为证据。 　　　　　（3）知识（或规则）是推理得以向前推进，并逐步达到最终目标的根据。 人工智能系统：由总数据库、知识库和推理机构成。 　　其中：（1）总数据库是已知事实的集合。 　　　　　（2）知识库即规则库，是一些人们总结的规则集合。(人工智能的核心) 　　　　　（3）推理机则是由一些推理算法构成