人間が取扱う知識を計算機上に表現する枠組を総称して知識表現という．知識表現には宣言的表現と手続き的表現の二とおりの立場があり，意味ネットワークは前者の，プロダクションシステムは後者の代表的な知識表現モデルである．