Automated Reasoning: Fundamentals and Applications

自動推論とは


推論のさまざまな側面を理解することは、自動推論として知られるコンピューター サイエンスのサブ分野の焦点です。 このサブフィールドは、知識表現と推論、メタロジックの分野で特に重要です。 自動推論の研究は、コンピュータが自動的、またはほぼ自動的に推論できるようにするコンピュータ プログラムの作成に貢献します。 自動推論は、人工知能の下位分野として分類されることがあります。 それにもかかわらず、哲学だけでなく理論的なコンピューター サイエンスとの関連性もあります。


どのようなメリットがあるか


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


第 1 章: 自動推論


第 2 章: 人工知能の応用


第 3 章: アブダクティブ推論


第 4 章: 自動定理証明


第 5 章: 常識的推論


第 6 章: 事例ベースの推論


第 7 章: 推論システム


第 8 章 : プログラム分析


第 9 章: 推論エンジン


第 10 章: 自動機械学習


(II) 自動推論に関する一般のよくある質問に答える。


(III) 多くの分野で自動推論を使用する実際の例。


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


本書の対象者


専門家、学部生、大学院生、愛好家、趣味人、そしてその枠を超えたい人 あらゆる種類の自動推論のための基本的な知識または情報。


 

1143752444
Automated Reasoning: Fundamentals and Applications

自動推論とは


推論のさまざまな側面を理解することは、自動推論として知られるコンピューター サイエンスのサブ分野の焦点です。 このサブフィールドは、知識表現と推論、メタロジックの分野で特に重要です。 自動推論の研究は、コンピュータが自動的、またはほぼ自動的に推論できるようにするコンピュータ プログラムの作成に貢献します。 自動推論は、人工知能の下位分野として分類されることがあります。 それにもかかわらず、哲学だけでなく理論的なコンピューター サイエンスとの関連性もあります。


どのようなメリットがあるか


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


第 1 章: 自動推論


第 2 章: 人工知能の応用


第 3 章: アブダクティブ推論


第 4 章: 自動定理証明


第 5 章: 常識的推論


第 6 章: 事例ベースの推論


第 7 章: 推論システム


第 8 章 : プログラム分析


第 9 章: 推論エンジン


第 10 章: 自動機械学習


(II) 自動推論に関する一般のよくある質問に答える。


(III) 多くの分野で自動推論を使用する実際の例。


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


本書の対象者


専門家、学部生、大学院生、愛好家、趣味人、そしてその枠を超えたい人 あらゆる種類の自動推論のための基本的な知識または情報。


 

3.99 In Stock
Automated Reasoning: Fundamentals and Applications

Automated Reasoning: Fundamentals and Applications

Automated Reasoning: Fundamentals and Applications

Automated Reasoning: Fundamentals and Applications

eBook

$3.99 

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers

LEND ME® See Details

Overview

自動推論とは


推論のさまざまな側面を理解することは、自動推論として知られるコンピューター サイエンスのサブ分野の焦点です。 このサブフィールドは、知識表現と推論、メタロジックの分野で特に重要です。 自動推論の研究は、コンピュータが自動的、またはほぼ自動的に推論できるようにするコンピュータ プログラムの作成に貢献します。 自動推論は、人工知能の下位分野として分類されることがあります。 それにもかかわらず、哲学だけでなく理論的なコンピューター サイエンスとの関連性もあります。


どのようなメリットがあるか


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


第 1 章: 自動推論


第 2 章: 人工知能の応用


第 3 章: アブダクティブ推論


第 4 章: 自動定理証明


第 5 章: 常識的推論


第 6 章: 事例ベースの推論


第 7 章: 推論システム


第 8 章 : プログラム分析


第 9 章: 推論エンジン


第 10 章: 自動機械学習


(II) 自動推論に関する一般のよくある質問に答える。


(III) 多くの分野で自動推論を使用する実際の例。


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


本書の対象者


専門家、学部生、大学院生、愛好家、趣味人、そしてその枠を超えたい人 あらゆる種類の自動推論のための基本的な知識または情報。


 


Product Details

BN ID: 2940167606630
Publisher: 10?????????? [Japanese]
Publication date: 07/06/2023
Series: Artificial Intelligence [Japanese] , #252
Sold by: PUBLISHDRIVE KFT
Format: eBook
Pages: 102
File size: 365 KB
Language: Japanese
From the B&N Reads Blog

Customer Reviews