高级人工智能逻辑、推理与知识2022/11/28 1/1132022/11/28 2/117命题逻辑一阶逻辑(一阶谓词演算）其他逻辑系统约束推理定性推理基于范例的推理知识及其表示命题逻辑 什么是逻辑？简单地说，逻辑就是人们用以处理问题而抽象的一种思维规则或计算方法。 命题逻辑的关系表达直观、生动而简洁，它是一阶逻辑发展的前导和基础。把命题逻辑加以简单的形式化，就能扩展应用于一阶逻辑推理中。 2022/11/28 3/117命题逻辑1. 1. 命题和个体命题和个体 设有如下符号命名的语句： XX：爱因斯坦是一位伟人。 YY：海水是甜的。 WW：3+4=9 上述X、Y、Z都是陈述性语句，分别具有肯定(True)或否定(False)意义的真值，我们把它们都称之为命题命题。其中，诸如“爱因斯坦”，“海水”，数字“3”、“4”等，它们是命题中的行为中心对象，又称为个体个体。 2022/11/28 4/117命题逻辑 定定义义3.13.1 命命题题(Proposition)(Proposition)，即即具具有有真真(T)(T)假假(F)(F)意意义义的的陈述性语句。陈述性语句。2022/11/2
