人工智能：一种现代方法学习笔记（第七章）——逻辑Agent

基于知识的Agent 基于知识的Agent的核心部件是知识库(KB)，知识库是一个语句集合，这些语句用知识表示语言表达，表示了关于世界的某些断言 当某些语句是直接给定的而不是推理的叫做公理，由公理推导出来的叫做定理。 知识库的两个基本操作： Tell(将新语句添加到知识库) 和 Ask(查询目前所知的内容) 逻辑 模型检验： 通过枚举所有可能为真的模型来检验KB为真的情况下α都为真 命题逻辑 语法

>>阅读原文<<