理論および計算科学ジャーナル
オープンアクセス

概要

計算機械、知能、そして決定不能性

パウロ・カストロ

1950 年、アラン チューリングはコンピューターの知能を検証するための判断基準を提案しました。最も簡単に言えば、人間の裁判官が 2 人の証人からどちらがコンピューターでどちらが人間かを判断できない場合、機械は人工知能を獲得していることになります。ここでは、チューリング テストには根本的な問題があり、人間の知能を検証することは不可能であると主張します。実際、このテストは決定不可能であり、したがって人工知能をテストするための有効な方法論とは見なされません。これは、機械における人間の知能のシミュレーションが達成不可能であるという意味ではありません。これは、インテリジェント エージェントの一般的な特性と、それをテストするための特定の測定基準を提供する一般理論が必要であることを意味します。システムが私たちと社会的にどのように相互作用するかについての私たち自身の主観的な認識とは無関係に、知能の出現を予測できる理論。そのような理論が今後数年間で達成可能または手の届く範囲にあるかどうかは、未解決の問題です。