計算機科学、特に人工知能においては、情報の構造を表現する方法がいくつも考案されてきた。
そのような作業を通して、知識表現の難しさがより高く評価されるようになった。それと並行するように計算言語学ではさらに大きな言語情報のデータベースが構築されつつあり、コンピュータの性能と容量が増大することでさらに深い知識表現が現実のものとなってきた。
各論.
言語.
人間の精神の中でなされているのと同じ方法で知識を表現するか、自然言語の形で知識を表現するのが最善であると考える人もいる。
心理言語学は人間の精神が言語を格納し操作する方法を研究している。認知科学の他の分野では、人間が音や臭いや感情や手続きや概念を記憶する方法を研究している。科学はまだ脳の内部機構を完全に解明できていないため、それをそのままコンピュータ上のプログラムで再現するには至っていない。
知識表現のための人工言語や記法がこれまでも多数提案されてきた。それらは一般に論理学や数学に基づくもので、解析が容易な文法を持ち、機械処理に適している。それらは一般にオントロジーという広い領域に分類される。
オントロジー言語.
リンクと構造.
ハイパーリンクの利用が広範囲に及ぶようになったが、それに密接に関連するセマンティックリンクはまだ広く使われていない。数表はバビロニア時代以来使われている。最近になると、論理演算の結果を表す表として真理値表が使われるようになった。真理値表はブール論理のモデル化と研究に使われた。スプレッドシートは知識のまた別の表形式の表現である。他の知識表現は木構造で、基本概念同士を接続したり、派生概念を示したりすることができる。
視覚的表現はナレッジマネジメントの中でも比較的新しい分野だが、ある考えと別の考えとのつながりを視覚化でき、ある考えから別の考えに移行するのに必要な情報を突き止めることを可能にする。視覚表現にもいくつか競合する手法がある。
表記法.
知識表現言語の最近の様式は、低レベルの文法としてXMLを使うことが多い。これは、人間の可読性や空間効率を犠牲にして、機械での構文解析を容易にする出力をする傾向がある。