12逻辑与推理课题.pptVIP

逻辑与推理 概要 知识的逻辑表示 知识库 逻辑蕴涵 推理定义 推理算法 搜索算法 消解算法 链接算法（ Horn 逻辑） 基本概念 知识型真体：以明确描述的目标作为任务，通过被告知或自学有关环境的新知识来迅速获取竞争性，并且通过更新相关知识来适应环境的改变 逻辑：支持知识型真体的一个一般类型的表示 推理：从已知获取未知。需满足查询的要求，并遵从已有的知识 知识表示：命题逻辑（Propositional Logic） 命题符号： 符号 真、伪 逻辑连接算子： 隐含：? 等同：? 与(合取)：? 或(析取)：? 非：? 句子=符号、真值与算子的组合 字符=符号和符号的非(例如，A和?A) 算子优先级： ?、 ?、 ?、 ?、 ? 知识库（KB） 知识库(KB)：句子集合 模型：给每个符号的一次赋值(真或伪)。如果知识库是由n个符号建立的，则存在2n个可能模型。 评价：根据一个模型m，为每个在m中的符号赋相应的值，以此来评价一个句子s。评价的结果为真或伪 KB评价：KB评价的结果是KB中的所有句子的评价结果的合取。 KB示例 KB： A?B ?C?A 逻辑蕴涵 句子间的逻辑蕴涵意味着：在逻辑上，一个句子来源于另一个句子 如果评价KB为真的所有模型也评价S为真，则KB逻辑蕴涵S。 记为：KB╞S 注：不考虑那些评价KB为伪的模型，因为由这些模型得到的与S的评价结果无关。 KB示例 K