人工智能-2数基础.pptVIP

人工智能Artificial Intelligence 主讲：鲍军鹏 西安交通大学电信学院计算机系 E_mail：bao_1@263. 第二章 人工智能的数学基础 2.1 命题逻辑与谓词逻辑 2.2 多值逻辑 2.3 概率论 2.4 模糊理论 AI中的逻辑 可划分为两大类： 经典逻辑 命题逻辑和一阶谓词逻辑。 特点：二值 非经典逻辑 三值逻辑、多值逻辑、模糊逻辑、模态逻辑、时态逻辑等等。 非经典逻辑 与经典逻辑平行的逻辑：多值、模糊逻辑 一些定理不成立，有新概念、新定理。 对经典逻辑的扩充：模态、时态逻辑 一般承认经典逻辑的定理。一是扩充语言；二是扩充定理。 例如：模态逻辑增加了L(是必然的)算子和M(是可能的)算子。 2.1 命题逻辑与谓词逻辑 2.1.1 命题 定义2.1：命题是具有真假意义的语句。 在命题逻辑中命题通常用大写英文字母表示。 命题逻辑无法把客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。 例如： P＝”老李是小李的父亲”。 看不出老李和小李的关系。 P＝”李白是诗人”，Q＝”杜甫也是诗人”。 无法形式地表示出二者的共同特点（都是诗人）。 P=“每个人都是要死的”。 Q=“孔子是人”。 R=“孔子是要死的”。 写成命题形式:P∧Q→R(R是P, Q的逻辑结论?) 2.1.2 谓词（1） 1. 一个谓词分为谓词