Intro

  • 客观事物的机器表示
  • 一组本体约定和概念模型
  • 支持推理的表示基础
  • 用于高效计算的数据结构
  • 人可理解的机器语言

早期的表示方法

  • 一阶谓词逻辑
  • 霍恩子句和霍恩逻辑
  • 语义网络
    • 三元组：节点1，联想弧，结点2
  • 框架
    • 类是知识表示的基本单位
    • 类——槽——侧面
  • 描述逻辑
    • 一节逻辑对语义网络和框架进行形式化的产物

互联网时代的语义知识表示框架