知識ベース
コンピュータが読み取り可能な形式で知識を格納する。通常、それら知識に対して自動推論を行うことを目的としている。知識は論理的に一貫した方法で規則という形式で記述される。個々の知識を論理積・論理和・論理包含・否定といった論理演算子を使って結合する。
タフツ大学医学部は、Tufts University Sciences Knowledgebase (TUSK) と呼ばれるソフトウェア基盤を開発した。これは、タフツ大学の医学部、歯学部、獣医学部などのカリキュラム情報の知識ベースとして使われている。この基盤はアメリカの3つの大学とアフリカの3つの大学で使われており、間もなくインドでも使われる予定である。これは基盤であって、それぞれのニーズに合わせて知識ベースを構築できるようになっている。