一、Knowledge Representation知识表示

1. Semantic Networks 语义网络

  1. ISA：instances to classes
  2. AKO：classes to superclasses
  3. Link types （重点）
    1. image.png
  4. Reification具体化（重点）
    1. Turns a N-ray (N>=3) relation （n元关系）into an object and makes N binary relations.（n个二元关系）

      二、Reasoning System推理系统

      1. 溯源推理Abduction、演绎推理Deduction、归纳推理Induction

      image.png