知识表示与知识图谱

2.1 知识与知识表示的概念

2.2 一阶谓词逻辑表示法

2.3 产生式表示法

2.4 框架表示法

2.5 知识图谱

知识的特征

• 相对正确性
• 不确定性
• 可表示性与可利用性

一阶谓词逻辑表示法

命题

谓词

谓词的一般形式： P (x1, x2,…, xn)

• 个体 x1, x2,…, xn ：某个独立存在的事物或者某个抽象的概念；
• 谓词名 P：刻画个体的性质、状态或个体间的关系。

谓词公式

• 连接词

  ﹁， ∧， ∨， →， ↔

• 量词

  • 全称量词
  • 存在量词

• 谓词公式

• 辖域：量词后面的单个谓词或者用括弧括起来的谓词公式

• 约束变元与自由变元：辖域内与量词中同名的变元称为约束变元，不同名的变元称为自由变元。

产生式表示法

产生式

确定性规则知识的产生式表示

巴科斯范式 BNF（backus normal form）

• ::
• |
• []