哈工大人虾工智能课件chpt3124.ppt

哈工大人工智能课件chpt3124; 本章内容 3.1 命题逻辑和一阶谓词逻辑 3.2 逻辑系统的语法和语义 3.3 逻辑推理举例 3.4 逻辑智能体的推理策略 参考书目 附录 形式系统简介;经典数理逻辑;逻辑智能体;3.1 命题逻辑和一阶谓词逻辑命题、真值、原子公式、合式公式谓词、论域、个体量词、变量、函数一阶语言、一阶语言的项;命题;命题变量与真值;简单命题与复合命题;命题逻辑基础;命题逻辑基础;命题逻辑基础;命题逻辑基础;命题语言与原子公式;命题逻辑的合式公式;例子;例子;命题逻辑的特点;一阶谓词逻辑;例子;论域与个体;谓词;变量与量词;约束变量和自由变量;函数;函数与谓词的区别;一阶语言(1);一阶语言(2);一阶语言的项和公式;一阶语言的公式(1);一阶语言的公式(2);一阶语言的公式(3);3.3 逻辑推理举例 wumpus世界;wumpus世界(1);wumpus世界(2);wumpus世界(3);wumpus世界中的命题和推理规则;命题逻辑的推理模式;wumpus世界的推理例子;3.4 逻辑智能体的推理策略逻辑智能体构造Horn子句置换与合一前向链接算法 / 后向链接算法;逻辑智能体的构造(1);逻辑智能体的构造(2);Horn子句;Horn子句的性质;推理策略;置换与合一;合一置换;置换与合一的例子;合一结果;用于逻