复习

• 1.一阶逻辑：
• 翻译自然语言，应用消解原理

• 给定一阶逻辑语句，提供逻辑解释

• 2.知识图谱：

• 使用表方法判断知识库可满足性：通过构建断言（合取式）依次判断各分支是否可满足，要注意如果TBox中有普通包含公理，要转化为析取式

• 判断知识库可满足性后，给出一个模型解释：对各个概念、关系、函数转化为具体集合

• 3.缺省逻辑：

• 外延的不动点定义验证外延
• 外延的不动点定义求外延（实际是用过程树求解出结果后验证）
• 判断缺省规则序列是否为过程（成功的、封闭的）
• 用过程树求解外延

• 翻译自然语言为一阶缺省理论，检查结论怀疑还是轻信地得出

• 4.回答集编程：

• 弄清概念：霍布兰德域、基底、解释、模型

• 求程序回答集：

  • 肯定程序语义：不动点法
  • 一般（正规）程序语义
  • 含not：先去not，再不动点法
  • 含约束（头部为空）：先不考虑约束求出回答集，再判断回答集是否满足约束

• 5.经典抽象论辩理论：

• 求论辩理论AF的各种外延
  • 完全外延：不动点法
  • 优先外延与基外延
  • 稳定外延与半稳定外延
• 求AF各种语义下的标记（可相容、完全、基等）/根据标记判断语义
• 根据标记求外延

• 子框架的合成与分解（强联通分量）：基于标记语义

• 6.结构化论辩框架：

• 构造论证并画出论证攻击关系图
• 在不同占优方式下论证间击败关系

• 系统特性

• 7.论辩语义的计算方法：

• 论证博弈方法：通过移动函数构造论辩树
  • 基语义下：正方不能重复自己的移动
  • 轻信优先语义：反方不能重复自己移动（但可用正方的），正方不能用反方的论证，不能用自我攻击的论证

• 回答集编程方法：

  • Nieves：攻击关系（\(def()\lor def()<-.\)），每个论证的防御者被击败则该论证被击败（def(a)<-def(b)，b防御a）
  • Wakaki：基于标记语义

• 8.贝叶斯网络

• 贝叶斯定理：

Comments