高级人工智能Date 1 史忠植高级人工智能第二章 人工智能逻辑2.1 重要的形式工具-逻辑2.2 非单调逻辑 2.3 默认逻辑 2.4 限定逻辑 2.5 自认知逻辑 2.6 真值维护系统2.7 情景演算的逻辑基础 2.8 动态描述逻辑Date 2 史忠植高级人工智能逻辑的历史 Aristotle逻辑学 Leibnitz数理逻辑 GottlobFrege(1848-1925)一阶谓词演算系统,符号论 20世纪30年代，数理逻辑广泛发展Date 3 史忠植高级人工智能重要的形式工具逻辑 在本世纪30年代以后，数学方法广泛渗透与运用于数理逻辑，使得数理逻辑成为数学领域中与代数、几何等并列的学科之一。现代数理逻辑可以分为逻辑运算、证明论、公理集合论、递归论和模型论。Date 4 史忠植高级人工智能关于知识的表示与推理 智能行为的基础是知识，尤其是所谓的常识性知识。人类的智能行为对于知识的依赖主要表现在对于知识的利用，即利用已经具有的知识进行分析、猜测、判断、预测等等。人类利用知识可以预测未来，由已知的情况推测未知的情况、由发生的事件预测还未发生的事件等等。但是，当人们希望计算机具有智能行为时
