ハイパーリンクの利用が広範囲に及ぶようになったが、それに密接に関連するセマンティックリンクはまだ広く使われていない。数表はバビロニア時代以来使われている。最近になると、論理演算の結果を表す表として真理値表が使われるようになった。真理値表はブール論理のモデル化と研究に使われた。スプレッドシートは知識のまた別の表形式の表現である。他の知識表現は木構造で、基本概念同士を接続したり、派生概念を示したりすることができる。
知識表現における1つの問題は、与えられた仕事を成し遂げるために機械が使うことができるようにするためには、いかにして知識を情報システムに格納して操作すればよいかという点である。そのような問題をもつアプリケーションの例として、エキスパートシステム、機械翻訳システム、Computer-aided Maintenance システム、情報検索システム(データベースのフロントエンドを含む)がある。
クラシック音楽
南極と北極
への付く言葉
ザ・和歌山
産業とは！
世界の演劇
慣用句集
かの付く言葉
七五三
靴に囲まれて
自転車
婦人科
香道
遺伝子疾患
洞窟
ジョギング
債券
クリケット
通訳
アメリカンフットボール
人間の精神の中でなされているのと同じ方法で知識を表現するのが最善であると考える人もいる。というのも、人間の精神だけが既知の唯一の知能であるからである。あるいは、自然言語の形式で知識を表現するのが最善と考える人もいる。残念なことに、人間の精神内で知識がどのように表現されているかは不明であるし、人間の精神が行っているのと同じ方法で自然言語を操る方法も不明である。ひとつの手掛かりはポイントアンドクリック型のユーザーインターフェイスを霊長類が自然に使っている点である。従って、「ジェスチャーによるインターフェイス」は認識機構の一部であり、口頭の言語に縛られないタイプの表現であり、人間以外の動物にも備わっていると思われる。
このため、様々な人工言語と表記法が知識を表現する目的で考案されてきた。それらは一般に論理学や数学に基づいており、機械処理を容易にするために構文解析が簡単な文法を備えている。
表記法 [編集]
知識表現言語の最近の様式は、低レベルの文法としてXMLを使うことが多い。これは、人間の可読性を犠牲にして、機械での構文解析を容易にする傾向がある。
一般に極端な複雑性を避けるために、このようなシステムの数学的基盤として一階述語論理が使われる。しかし、この単純な論理に基づく単純なシステムでさえ、現代のコンピュータシステムでは複雑すぎて手に負えないデータを表現することができる。詳しくは計算可能性理論を参照。
表記法の例：
DATRは、語彙知識を表現する例である
RDF は、オブジェクト間の関係を表現するための単純な表記法である
言語 [編集]
知識表現を意図した人工言語の例：
CycL
Loom
OWL
KM：知識機械(Knowledge Machine)(知識表現作業に使われるフレームベースの言語)