形式的推論とは? わかりやすく解説

形式的推論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/08 08:13 UTC 版)

人工知能の歴史」の記事における「形式的推論」の解説

人工知能は、人間思考過程機械再現できるという前提基づいている。機械的あるいは形式的推論の歴史長い中国インドギリシア哲学者らは、いずれも紀元前に形式的推論の構造化された手法発展させた。その発展寄与した哲学者としては、アリストテレス三段論法定式化して分析した)、エウクレイデス(その『原論』は形式的推論の原型となった)、フワーリズミー代数学発展させ、その名は「アルゴリズム」として残っている)、ヨーロッパスコラ学の哲学者であるオッカムのウィリアムヨハネス・ドゥンス・スコトゥスなどが挙げられるマジョルカ哲学者ラモン・リュイ (1232–1315) は論理的方法知識生み出すことを意図した論理機械」をいくつか開発したリュイ自身機械について、単純な論理操作基本的かつ紛れもない真理結合する機械的要素群であり、機械的手段生み出され真理考えられるあらゆる知識生み出すとした。リュイ業績ゴットフリート・ライプニッツ大きな影響及ぼした17世紀になると、ライプニッツトマス・ホッブズルネ・デカルトらはあらゆる理性的思考代数学幾何学のように体系化できるのではないかという可能性探究したホッブズは『リヴァイアサン』で「推論計算以外のなにものでもない」と記している。ライプニッツ推論のための汎用言語 (characteristica universalis) を想像し論証計算還元しよう考えた。それによって「2人哲学者論争2人会計士論争程度のことになる。彼らは論証石版書き記し必要な友人証人立て)『計算してみればよい」とした。これらの哲学者考え方から物理記号システム英語版仮説明確化していき、それがAI研究指針となった20世紀になると、数理論理学研究人工知能実現可能性への根本的なブレークスルー提供する。その基盤となったのは、ブールの The Laws of Thoughtフレーゲの『概念記法』である。フレーゲ体系に基づき1913年ラッセルホワイトヘッド重要な著作プリンキピア・マテマティカ』において数学的基礎形式的記述行ったラッセル成果触発されダフィット・ヒルベルトは、当時数学者らに「数学におけるあらゆる推論形式化できるか?」という根本的問題提示したヒルベルト・プログラム)。この問題への解答が、ゲーデルの不完全性定理チューリング機械チャーチラムダ計算である。その解答2つの意味驚くべきのだった[要出典]。第一に彼らは数理論理成し遂げられることには限界があることを証明した[要出典]。 詳細は「ゲーデルの不完全性定理#誤解哲学等による誤解・誤用)」、「不完全性定理が成立しない体系」、および「ゲーデルの完全性定理」を参照 @media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}第二に(こちらがAIにとっては重要)、彼らの業績意味するのは、その限界の中でなら任意の数学的推論機械化できるという事実だった[要出典]。チャーチ=チューリングのテーゼでは、0と1といった単純な記号群だけで任意の数学的推論過程模倣できること暗示されている。鍵となる洞察チューリングマシンであり、記号操作抽象化した単純な理論上機械である。チューリングマシン一部科学者思考する機械可能性議論しはじめるきっかけとなった

※この「形式的推論」の解説は、「人工知能の歴史」の解説の一部です。
「形式的推論」を含む「人工知能の歴史」の記事については、「人工知能の歴史」の概要を参照ください。

ウィキペディア小見出し辞書の「形式的推論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「形式的推論」の関連用語

形式的推論のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



形式的推論のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの人工知能の歴史 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS