ch7 逻辑能体 人工智能课程 北大计算机研究所.pptVIP

第七章、逻辑智能体逻辑智能体：;主要内容基于知识的智能体总体的;基于知识的智能体核心构件是其知;基于知识的智能体的一个通用程序;主要内容基于知识的智能体总体的;wumpus世界绕淡舒技海冰盏;wumpus世界任务环境的精确;PEAS（续）传感器在wump;例子：wumpus世界中智能体;行动序列（续）变睛阅炼窖判恨钎;主要内容基于知识的智能体总体的;逻辑Logics are fo;蕴涵关系：一个语句逻辑上追随另;在已知[1, 1]中什么也没观;推理比喻：KB的所有推论集合视;逻辑推理过程和智能体生存的正式;主要内容基于知识的智能体总体的;语法原子语句—不可分割的句法元;命题逻辑语句的BNF语法Sen;语义PQ?PP?QP?QP?Q;知识库的例子：wumpus世界;推理目标：给定语句?，KB|=;HW7.2, 7.4晕锡鳞娩蓝;主要内容基于知识的智能体总体的;证明的方法模型检查真值表枚举：;逻辑系统的单调性单调性：对于任;归结全归结??则：假设：li ?;合取范式（CNF）命题逻辑的每;归结算法通过反证法而发挥作用：;Horn Clause定义：至;Horn Clause的重要性;前向链接和反向链接的对比前向链;主要内容基于知识的智能体总体的;用逻辑推理寻找陷阱和wumpu;用命题逻辑来辨别陷阱、wump;命题逻辑的表达能力的局限性KB;小结智能化智能体需要关于世界的;HW7.11轧怂既猫第线蠕句萨