12逻辑与推理概要.ppt

逻辑与推理 概要 知识的逻辑表示 知识库 逻辑蕴涵 推理定义 推理算法 搜索算法 消解算法 链接算法（ 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示例 KB： A?B ?C?A S： A?C KB示例 KB： A?B ?C?A S： A?B?C 逻辑蕴涵 推理 推理算法是一个从KB中推演出一个句子的程序。 KB╞iS意指用i 算法从KB中推理出S。 推理算法是可靠的，如果它仅推演出KB蕴涵的句子。 推理算法是完全的，如果它能推演出KB蕴涵的任何句子。 重要的推理规则 与-消去。如果两事必须为真，则它们中的任何一个必为真。 取式(演绎推理)。如?隐含?且?在KB中，则?必被蕴涵。 与-导入 推理 基本问题： 有一个KB 有一个句子S（即查询） 求证是否KB╞S 即要证明S来自KB 最简单的处理：模型查看=评价符号的所有可能赋值 如果模型空间有限，则是可靠且完全的，但有2n个模型，其中n为符号数。 推理定义 有效：一个句子是有效的，如果它对所有的模型为真。例子：???? 可满足：一个句子是可满足的，如果它对某些模型为真。 不可满足：一个句子是不可满足的，如果无模型使它为真。例子： ???? 演绎定理：已知KB与一个句子S，建立蕴涵等同于证明KB?S有效。 BK╞S ? (KB?S)有效 反证法：已知KB与一个句子S，建立蕴涵等同于证明KB??S不可满足。 BK╞S ? (KB??S)不可满足 搜索证明：模型查看 KB： A?B ?C?A 搜索证明：推理规则 可以将证明看作是一个搜索问题。因此，以前讲过的基本搜索算法能用到这里 状态：KB 后续态：对KB采用推理来获得新的句子 求解：朝向目标句子的推理系列。如果推理算法是可靠的，则保证能建立蕴涵。 问题：存在一种高效搜索型的推理算法吗？此搜索是完全的吗？ 消解（归结） 一个句子为合取范式(CNF)，如果它是子句的一个合取，其中每个子句是字符的一个析取。 例子： (A?B)?(C?D?J)?(E?G) 关键事实：总是能把任何KB转换成CNF。 CNF转换 ??? ??? ?(???) ?(???) 消解 合并前：A1?…?Ai?…?An ?Ai 合并后：A1?…? Ai-1?Ai+1?…?An 如果一个字符出现在一个子句中且其非出现在另一个子句中，则能合并这两个子句，并消去该字符。 消解 合并前：A1?…?Ai?…?An B1?…??Ai?…?Bm 合并后：A1?…? Ai-1?Ai+1?…?An?B1?…? Bi-1?Bi+1?…?Bm 如果一个字符出现在一个子句中，并且其非出现在另一个子句中，则能合并这两个子句，并消去该字符。 消解算法 假设KB??S为CNF范式。 如果KB蕴涵S，则应存在一个消解推理系列，它将导出至少一个不可满足的子句。 思路：持续消解KB??S中的所有子句偶对，直到： 不能找到任何子句来消解。即KB不蕴涵S。 已找到一个空句，无模型能满足空句。即KB确实蕴涵S。 KB ： 1号门开?2号门开?能进2号房 ?周末?2号门开 ?周末?1号门开 查询：能进2号房 消解算法 输入：KB和S 输出：如果KB蕴涵S，真；否则，伪 初始化：Clauses?CNF(KB??S) 重复： 对Clauses中的每对子句Ci和Cj R?Resolution(Ci,Cj) 如果R包含空子句：返回真 new?new?R 如果Clauses包含new：返回伪 Clauses?Clauses?new 消解的性质 消解是可靠的：总是产生前提所蕴涵