説明ロジック by Fouad Sabry

記述ロジックとは

記述ロジック (DL) として知られる形式知識表現言語のファミリーが開発されました。 かなりの数の DL は、命題論理よりも高いレベルの表現力を持っていますが、一次論理よりは低いレベルです。 一方、DL の主要な推論問題は (通常は) 決定可能であり、これらの問題に対して効率的な決定プロセスが提案され、実装されています。 対照的に、後者の困難は論理的にはまったく解決できません。 一般的な記述ロジックのほかに、空間記述ロジック、時間記述ロジック、時空間記述ロジック、およびファジー記述ロジックがあります。 各記述ロジックは、数学的コンストラクターの独自のコレクションをサポートすることで、表現力と推論の複雑さの間で独自のバランスをとっています。

メリット

(I) 次のトピックに関する洞察と検証:

第 1 章: 記述ロジック

第 2 章: 知識の表現と推論

第 3 章: セマンティック Web

第 4 章: オントロジー推論層

第 5 章: Web オントロジー言語

第 6 章: セマンティック テクノロジー

第 7 章: 表現力 (コンピュータ サイエンス)

第 8 章: F ロジック

第 9 章: セマンティック Web ルール言語

第 10 章: オントロジー エンジニアリング

(II) 記述ロジックに関する一般のよくある質問に答える。

(III) 多くの分野における記述ロジックの使用例の実例。

(IV) 17 の付録 各業界の 266 の新興テクノロジーを簡潔に説明し、記述ロジックのテクノロジーを 360 度完全に理解できるようにします。

本書の対象者

プロフェッショナル 大学生、大学院生、愛好家、趣味愛好家、あらゆる種類の記述ロジックについての基本的な知識や情報を超えたいと考えている人。