自動推論 - 基礎と応用
Fouad Sabry
Traductor Kei Imano
Editorial: 10億人の知識があります [Japanese]
Sinopsis
自動推論とは 推論のさまざまな側面を理解することは、自動推論として知られるコンピューター サイエンスのサブ分野の焦点です。 このサブフィールドは、知識表現と推論、メタロジックの分野で特に重要です。 自動推論の研究は、コンピュータが自動的、またはほぼ自動的に推論できるようにするコンピュータ プログラムの作成に貢献します。 自動推論は、人工知能の下位分野として分類されることがあります。 それにもかかわらず、哲学だけでなく理論的なコンピューター サイエンスとの関連性もあります。 どのようなメリットがあるか (i) 以下に関する洞察と検証 トピック: 第 1 章: 自動推論 第 2 章: 人工知能の応用 第 3 章: アブダクティブ推論 第 4 章: 自動定理証明 第 5 章: 常識的推論 第 6 章: 事例ベースの推論 第 7 章: 推論システム 第 8 章 : プログラム分析 第 9 章: 推論エンジン 第 10 章: 自動機械学習 (ii) 自動推論に関する一般のよくある質問に答える。 (iii) 多くの分野で自動推論を使用する実際の例。 (iv) 360 度完全に理解できるように、各業界の 266 の新興テクノロジーを簡潔に説明する 17 の付録 本書の対象者 専門家、学部生、大学院生、愛好家、趣味人、そしてその枠を超えたい人 あらゆる種類の自動推論のための基本的な知識または情報。