先进人工智能课程复习笔记Ⅲ--经典逻辑推理

经典逻辑推理

【确定性推理】重点：归结演绎推理

本章的主要内容：

• 基本概念
• 自然演绎推理
• 归结演绎推理
• 与或形演绎推理

如何进行一次推理？观察结果（事实）—>推理依据（规则）—>推理结果（结论）【柯南的推理过程，人类本身有语义理解能力】

计算机如何进行推理?将事实和规则借用一些符号，将推理过程形式化。

基本概念

符号与形式语言

数理逻辑：

• 命题逻辑：
• 谓词逻辑：有量词和变元，函数等

正向推理：由已知事实，从知识库中找可使用的知识进行推理

逆向推理：做一个假设，为该假设找证据，所需要的证据都能找到，则假设成立。

混合推理：先正向后逆向等混合使用

双向推理：正向和逆向都进行推理，找到一个相遇点。

求解策略：所求解的类型，一个还是所有可行解，或者是最优解。

限制策略：限制搜索的深度、时间等

模式匹配

• 确定性匹配：

  • 知识: IF father(x,y) and man(y) THEN son(y,x)
  • 事实: father(李四，李小四) and man(李小四)

• 不确定性匹配：不确定性匹配是指两个知识模式不完全一 致，但是它们的相似程度又在规定的限度内。

置换和合一和第二章的相同

置换

F是表达式，$\theta$是置换，F$\theta$为F的特例。

代换的复合：设 θ = t 1 / x 1 , t 2 / x 2 , . . . , t n / x n θ= {t_1/x_1,t_2/x_2,...,t_n/x_n} θ=t1​/x1​,t2​/x2​,...,t