高级人工智能逻辑教材.pptxVIP

高级人工智能第二章 人工智能逻辑2.1 重要的形式工具-----逻辑2.2 非单调逻辑 2.3 默认逻辑 2.4 限定逻辑 2.5 自认知逻辑 2.6 真值维护系统2.7 情景演算的逻辑基础 2.8 动态描述逻辑 逻辑的历史Aristotle——逻辑学Leibnitz——数理逻辑Gottlob Frege (1848-1925)——一阶谓词演算系统,《符号论》20世纪30年代，数理逻辑广泛发展重要的形式工具──逻辑 在本世纪30年代以后，数学方法广泛渗透与运用于数理逻辑，使得数理逻辑成为数学领域中与代数、几何等并列的学科之一。现代数理逻辑可以分为逻辑运算、证明论、公理集合论、递归论和模型论。关于知识的表示与推理 智能行为的基础是知识，尤其是所谓的常识性知识。人类的智能行为对于知识的依赖主要表现在对于知识的利用，即利用已经具有的知识进行分析、猜测、判断、预测等等。人类利用知识可以预测未来，由已知的情况推测未知的情况、由发生的事件预测还未发生的事件等等。但是，当人们希望计算机具有智能行为时，除了告诉计算机如何像人一样地利用知识以外（对于知识进行推理），一个更为基础和先行的工作是如何使计算机具有知识（对于知识进行表示），即在计算机上如何表达人类的知识。关于知识的表示与推理 多数的基于逻辑的智能系统使用一阶逻辑或者它的一些扩张形式。一阶逻辑的优点是它具有相当强的表达能力