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

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

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衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

MinGW - Minimalist GNU for Windows

MinGW - Minimalist GNU for Windows

このプロジェクトは osdn.net/projects/mingw に移行中です。引き続きそこでフォローしていただけます。 MinGW: GNU Compiler Collection (GCC) のネイティブ Windows ポートであり、ネイティブ Windows アプリケーションを構築するための自由に配布可能なインポート ライブラリとヘッダー ファイルであり、C99 機能をサポートする MSVC ランタイムの拡張機能が含まれています。すべての MinGW ソフトウェアは 64 ビット Windows プラットフォームで実行できます。

WebStorm Mac版

WebStorm Mac版

便利なJavaScript開発ツール

SecLists

SecLists

SecLists は、セキュリティ テスターの究極の相棒です。これは、セキュリティ評価中に頻繁に使用されるさまざまな種類のリストを 1 か所にまとめたものです。 SecLists は、セキュリティ テスターが必要とする可能性のあるすべてのリストを便利に提供することで、セキュリティ テストをより効率的かつ生産的にするのに役立ちます。リストの種類には、ユーザー名、パスワード、URL、ファジング ペイロード、機密データ パターン、Web シェルなどが含まれます。テスターはこのリポジトリを新しいテスト マシンにプルするだけで、必要なあらゆる種類のリストにアクセスできるようになります。

Dreamweaver Mac版

Dreamweaver Mac版

ビジュアル Web 開発ツール

Safe Exam Browser

Safe Exam Browser

Safe Exam Browser は、オンライン試験を安全に受験するための安全なブラウザ環境です。このソフトウェアは、あらゆるコンピュータを安全なワークステーションに変えます。あらゆるユーティリティへのアクセスを制御し、学生が無許可のリソースを使用するのを防ぎます。