语义网络（semantic network）是一种以网络格式表达人类知识构造的形式。是 人工智能程序运用的表示方式之一。由 奎林(J. R. Quillian)于1968年提出。开始是作为人类联想记忆的一个明显公理模型提出，随后在 AI中用于 自然语言理解，表示命题信息。在ES中语义网络由PROSPEUTOR实现，用于描述物体概念与状态及其间的关系。它是由结点和结点之间的弧组成，结点表示概念(事件、事物)，弧表示它们之间的关系。在数学上语义网络是一个 有向图，与逻辑表示法对应。