人工智能原理PrinciplesofArtificialIntelligence.ppt

知识与推理 （三） Outline 3.1 经典逻辑 3.2 定理机器证明和逻辑程序设计语言 3.3 非单调逻辑 3.4 非单调逻辑 引言 主要的非单调逻辑 封闭世界假设(CWA) 限制理论 缺省逻辑 真值维护系统 Introduction(1) 传统的推理就是依据一定的原则从已有事实推出结论的过程，它一般是以经典的谓词逻辑为基础的，其推理过程称为演绎。在演绎推理过程中有一个默认的假设：即知识都是精确的，不包含有不确定的信息。 虽然经典逻辑为推动人工智能的发展起到了很大的作用，但它的表达和推理能力毕竟有限，在现实世界中仍然有很多的局限性，这主要包括下面几个方面： 信念只有非真即假这两种情况，无法表示不确定性的信息 基本信念集合必须是一致的，新的信念的加入不应引起矛盾，不能对有新知识加入时进行知识库修正 不能进行看似不合理，但是有可能的演绎推理 Introduction(2) 在日常生活中，人们通常并不是在掌握了所有证据的完全信息之后才开始解决问题的，而是可以在有些信息未知的情况下，做出一些合理的假设。 常识推理（commonsense reasoning）就是一种基于合理假设的推理。 常识知识在人工智能中一般也称为纯朴（native）知识它可以看作是“一个普通人无须专门学习就能具备的知识” Introduction(3) 常识的特点： 具有不确定性，有很多的例外