チューリングの計算機械と知能の関連著作
チューリングの論文「計算機械と知能」
1950年に発表されたアラン・チューリングの論文「計算機械と知能」は、人工知能の分野における歴史的な金字塔です。この論文でチューリングは、機械が思考できるかという問題に対し、後に「チューリングテスト」として知られるようになる実験を提案しました。
チューリングテストは、人間の判定者が、隠された相手にテキストベースで会話を行い、その相手が人間か機械かを判別する実験です。もし判定者が、相手が機械であると見抜けなければ、その機械は知能を持っているとみなせる、とチューリングは主張しました。
この論文は、人工知能に関する哲学的な議論を巻き起こし、今日に至るまで、人工知能の評価基準として、あるいは人工知能研究の究極の目標として、重要な影響を与え続けています。
ゲーデルの不完全性定理
クルト・ゲーデルが1931年に証明した不完全性定理は、数学の基礎に関する衝撃的な結果であり、チューリングの計算機械の概念にも深い影響を与えました。第一不完全性定理は、自然数を含む算術の理論体系において、証明も反証もできない命題が必ず存在することを示しています。
ゲーデルの不完全性定理は、形式的な体系には限界があることを示唆しており、チューリングは、計算可能な問題にも限界があることを示す「停止性問題」の証明に、この定理の影響を受けています。
シャノンの情報理論
クロード・シャノンが1948年に発表した論文「通信の数学的理論」は、情報理論の基礎を築き、計算機科学や人工知能など、様々な分野に大きな影響を与えました。
シャノンは、情報を定量的に扱う方法を確立し、情報の尺度として「エントロピー」という概念を導入しました。また、ノイズがある通信路でも正確に情報を伝達するための符号化の理論を構築しました。
シャノンの情報理論は、人工知能においても、データの圧縮、誤り訂正、自然言語処理など、広範な応用があります。