Deductive classifier とは

演繹的分類子は、人工知能推論エンジンの一種である。これは、医学研究や分子生物学などのドメインに関するフレーム言語の宣言を入力として受け取ります。たとえば、クラス、サブクラス、プロパティ、および許容値の制限の名前。分類器は、様々な宣言が論理的に一貫性があるかどうかを判断し、そうでない場合には、特定の一貫性のない宣言およびそれらの間の不一致を強調する。宣言が一貫している場合、分類器は入力に基づいて追加情報をアサートすることができます。たとえば、既存のクラスに関する情報を追加したり、追加のクラスを作成したりすることができます。これは、ルールのIF-THEN条件をトリガーする従来の推論エンジンとは異なります。クラシファイアは、入力として受け取り、ファーストオーダーロジックを介して出力を生成するという点で、定理証明者と同様です。クラシファイアはKL-ONEフレーム言語に由来しています。彼らはセマンティックWebの実現可能なテクノロジーに参加するようになり、ますます重要になっています。現代の分類器はWeb Ontology Languageを活用しています。彼らが分析し生成するモデルは、オントロジーと呼ばれます。