产生式表示法对象，属性，值或关系，对象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逻辑关系表示法语义网络推理方法：匹配，继承