产生式表示法
对象，属性，值或关系，对象1，对象2
可信度
规则：p→q或If P then Q
推理机（匹配）→规则库→综合数据库
产生系统求解问题：不可撤回方式，试探性方式
框架：frame<框架名>
<槽名1>
<侧面11>
<值111>

语义网络是一种用语义和语义关系表示知识且带有方向的网络图。图中包含节点和弧。其中，节点代表语义，即各种概念、事物、属性、状态、动作等。
类属关系：AKO,AMO
包含关系：Part -of,AMO
时间关系：Before,After
属性关系：Have,Can,Age
因果关系：if then
组成关系：composed -of
逻辑关系表示法
语义网络推理方法：匹配，继承