1.人工智能早期知识表示方法

1.一阶谓词逻辑【一阶逻辑】

原子公式：图灵奖得主（x）
x是变量
图灵奖得主是一元谓词

2.霍恩逻辑与霍恩子句

文字：原子谓词公式及其否定称为文字
P（x），Q（x）

子句：任何文字的析取式 称为子句
P（x）∨ Q（x）

霍恩子句：带有最多一个肯定文字的子句，霍恩子句 等价为 A∧B∧C→H

霍恩逻辑：一阶逻辑的子集
基于霍恩逻辑的知识库是一个霍恩规则的集合【子集的选取基于霍恩规则】
霍恩规则：事实 / 由原子公式构成
原子公式构成：体原子公式→头原子公式。如：A∧B∧C→H，A.B.C为体原子公式，H为头原子公式。
事实：没有体原子公式且没有变量的霍恩规则。如：免试推免生

3.语义网络【联想网络】

定义：用于表达人类的语义知识并支持推理

形式：带标识的有向图。
G=（V，E），G表示图，V表示节点，E表示边。
在语义网络中，边称为 连接弧（联想弧），表示各种语义联系。

基础单元：三元组（节点1，联想弧，节点2）
例：（张三，复习，数据结构）
（莫言，类型，作家）
所有的节点通过联想弧相连，语义网络可以通过图进行知识推理。

4.框架

基本原理：认为人们对现实世界中各种事物的认识都以一种类似于框架的结构存储于记忆中。

定义：框架是一种描述对象属性的数据结构

基本单位：类
类又分为槽，表示描述对象的一个属性。
槽又分为侧面，表示槽属性的一个方面

5.描述逻辑

定义：是一阶逻辑的一个可判定子集
描述逻辑一般支持一元谓词（称为类）和二元谓词（称为关系），描述逻辑建立在概念和关系上。
特征：具有很强的表达能力和可判定性
W3C互联网本体语言（OWL）的理论基础