人工智能:一种现代方法学习笔记(第七章)——逻辑Agent
基于知识的Agent
基于知识的Agent的核心部件是知识库(KB),知识库是一个语句集合,这些语句用知识表示语言表达,表示了关于世界的某些断言
当某些语句是直接给定的而不是推理的叫做公理,由公理推导出来的叫做定理。
知识库的两个基本操作: Tell(将新语句添加到知识库) 和 Ask(查询目前所知的内容)
逻辑
模型检验: 通过枚举所有可能为真的模型来检验KB为真的情况下α都为真
命题逻辑
语法
命题逻辑的语法定义合法语句,原子语句由单个命题词组成,每个命题词代表一个或为真或为假的命题,一般用大写字母表示命题词,如:P,Q,R
有两个命题词有固定的含义: TRUE是永真命题, FALSE是永假命题
复合句由简单语句用括号和逻辑连接词构成