検索
ホームページよくある問題チューリングのコンピュータ サイエンスへの主な貢献は何ですか?

チューリングのコンピュータ サイエンスへの主な貢献は何ですか?

Aug 14, 2020 am 11:14 AM
チューリングコンピューター貢献する

チューリングのコンピュータ サイエンスにおける主な貢献: 1. [チューリング テスト] の概念の提案; 2. チューリング マシンの発明; 3. 人工知能のアイデアの起源; 4. 生物学の確立; 5 . 問題を特定する。

チューリングのコンピュータ サイエンスへの主な貢献は何ですか?

コンピューター サイエンスに対するチューリングの主な貢献:

1. 「チューリング テスト」コンセプト # を提案

##「チューリング テスト」とは、試験者と被験者 (人間と機械) を分離し、被験者に何らかのデバイス (キーボードなど) を介してランダムな質問をする状況を指します。

複数のテストの後、テスターの 30% 以上がテスト対象者が人間であるか機械であるかを判断できない場合、機械はテストに合格し、人間の知性を備えていると見なされます。

チューリング テストという用語は、コンピューター サイエンスと暗号学の先駆者であるアラン マティソン チューリングが 1950 年に書いた論文「Computing Machinery and Intelligence」に由来しており、その 30% はチューリング マシンがどうなるかを予測するものでした。私たちは 2000 年のことを考えることができますが、その予測は現在でははるかに遅れています。

チューリングは、20 世紀末には「チューリング テスト」に合格するコンピューターが登場すると予測しました。 2014年6月7日、英国王立協会が開催したカンファレンス「2014チューリングテスト」において、主催者のレディング大学がプレスリリースを発表した。

ロシアのウラジーミル・ヴェセロフ氏が創設した人工知能ソフトウェア「ユージン・グーストマン」がチューリングテストに合格したと主張。

「ユージーン」ソフトウェアは「考える」ことができるとは程遠いですが、これは人工知能、さらにはコンピューターの歴史においても画期的な出来事でもあります。

2. チューリング マシン

チューリング マシンは 1936 年にチューリングによって提案され、実際のコンピュータのあらゆる側面をシミュレートできる正確な汎用コンピュータ モデルです。行動。

いわゆるチューリング マシンは抽象的な機械を指します。無限に長い紙テープがあり、紙テープは小さな正方形に分割されており、各正方形は異なる色になっています。紙テープの上を動き回るマシンヘッドがあります。

マシンヘッドには一連の内部状態といくつかの固定手順があります。マシンヘッドは各瞬間に、現在の紙テープから正方形の情報を読み取り、それ自体の内部状態に基づいてプログラムテーブルを検索し、プログラムに従って情報を紙テープの正方形に出力し、自身の内部状態を変換する必要があります。 、そして、行動を起こします。

3. 人工知能

1949 年、チューリングはマンチェスター大学コンピューティング研究所の副学部長となり、マンチェスター ザ マークの開発と運用に専念しました。 1モデルにはプログラマブルコンピュータに必要なソフトウェアが格納されています。

チューリングの論文は 1956 年に「Can Machines Think?」というタイトルで再出版されましたが、この頃、人工知能も実用的な開発段階に入りました。チューリングの機械知能の考え方は、間違いなく人工知能の直接の起源の 1 つです。

そして、人工知能の分野での徹底的な研究により、人々はチューリングのアイデアの奥深さにますます気づいています。それらは今日でも人工知能の主要なアイデアの 1 つです。

4. 生物学の確立

1952 年から亡くなるまで、チューリングは数理生物学の研究を続けました。彼は 1952 年に「形態形成の化学的基礎」という論文を発表しました。

彼の主な関心は、植物の構造に見られるフィボナッチ数であるフィボナッチ葉の配列です。彼は、現在パターン形成の分野の中心となっている反応拡散式を応用しました。彼のその後の論文はいずれも出版されず、これらの論文が日の目を見たのは 1992 年に「The Selected Works of Alan Turing」が出版されてからでした。

5. 決定問題

1937 年、チューリングは彼の方法を使用して有名なヒルベルト決定問題、つまり狭い述語計算 (一次の決定問題としても知られています) を解決しました。論理式の充足可能性を判断する。

彼は一次論理の公式を使用してチューリング マシンをエンコードし、チューリング マシンの停止問題の決定不能性から一次論理の決定不能性を導き出しました。ここで彼が作成した「符号化法」は、後に一次論理における式の決定不可能性を証明するために使用される主要な方法の 1 つになりました。

決定の問題に関して言えば、チューリングのもう一つの業績は、1939 年に提案された外部情報源を備えたチューリング マシンの概念であり、そこから「チューリング還元性」と相対再帰の概念が導き出されました。

リダクションと相対再帰の概念を使用して、決定不可能性と非再帰性の程度を比較できます。これに基づいて、E.ポストは解決不能性という重要な概念を提案し、その後この分野の研究は大きく進歩しました。

関連する学習に関する推奨事項:

プログラミング ビデオ

以上がチューリングのコンピュータ サイエンスへの主な貢献は何ですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

Video Face Swap

Video Face Swap

完全無料の AI 顔交換ツールを使用して、あらゆるビデオの顔を簡単に交換できます。

ホットツール

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

ZendStudio 13.5.1 Mac

ZendStudio 13.5.1 Mac

強力な PHP 統合開発環境

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

SublimeText3 Linux 新バージョン

SublimeText3 Linux 新バージョン

SublimeText3 Linux 最新バージョン