Was sind Turings wichtigste Beiträge zur Informatik?

Turings Hauptbeiträge in der Informatik: 1. Vorschlag des Konzepts des [Turing-Tests]; 3. Der Ursprung der Idee der künstlichen Intelligenz; 5. Bestimmung von Problemen;

Turings wichtigste Beiträge in der Informatik:

1. Vorgeschlagenes Konzept des „Turing-Tests“

„Turing-Test“ bezieht sich auf den Tester und den Testteilnehmer (eine Person und eine Person) ( B. einer Maschine), stellen Sie dem Probanden über ein Gerät (z. B. eine Tastatur) zufällige Fragen.

Wenn nach der Durchführung mehrerer Tests mehr als 30 % der Tester nicht feststellen können, ob es sich bei der getesteten Person um einen Menschen oder eine Maschine handelt, besteht die Maschine den Test und wird davon ausgegangen, dass sie über menschliche Intelligenz verfügt.

Der Begriff Turing-Test stammt aus einem Artikel „Computing Machinery and Intelligence“, der 1950 von Alan Mathison Turing, einem Pionier der Informatik und Kryptographie, verfasst wurde. 30 % davon waren Turings Test aus dem Jahr 2000. Eine Vorhersage der maschinellen Denkfähigkeiten, die wir haben liegen derzeit weit zurück.

Turing sagte voraus, dass es am Ende des 20. Jahrhunderts Computer geben wird, die den „Turing-Test“ bestehen. Am 7. Juni 2014 gab der Veranstalter, die University of Reading, auf der von der Royal Society veranstalteten Konferenz „2014 Turing Test“ eine Pressemitteilung heraus.

Behauptet, dass die vom Russen Vladimir Veselov gegründete Software für künstliche Intelligenz Eugene Goostman den Turing-Test bestanden hat.

Obwohl die Software „Eugene“ weit davon entfernt ist, „zu denken“, ist sie dennoch ein Meilenstein in der Geschichte der künstlichen Intelligenz und sogar der Computer.

2. Turing-Maschine

Die Turing-Maschine wurde 1936 von Turing vorgeschlagen. Es handelt sich um ein genaues universelles Computermodell, das alle Rechenverhalten tatsächlicher Computer simulieren kann.

Die sogenannte Turing-Maschine bezeichnet eine abstrakte Maschine. Sie verfügt über ein unendlich langes Papierband. Das Papierband ist in kleine Quadrate unterteilt, jedes Quadrat hat eine andere Farbe. Es gibt einen Maschinenkopf, der sich auf dem Papierband bewegt.

Der Maschinenkopf verfügt über eine Reihe interner Zustände und einige feste Programme. Zu jedem Zeitpunkt muss der Maschinenkopf ein Informationsquadrat vom aktuellen Papierband lesen, dann die Programmtabelle basierend auf seinem eigenen internen Status durchsuchen, die Informationen entsprechend dem Programm an das Papierbandquadrat ausgeben und seinen eigenen internen Status konvertieren , und dann Einen Zug machen.

3. Künstliche Intelligenz

Im Jahr 1949 wurde Turing stellvertretender Direktor des Computerlabors an der Universität Manchester und widmete sich der Entwicklung der Software, die für den Betrieb des speicherprogrammierten Computers Manchester Mark 1 erforderlich war.

Turings Artikel aus dem Jahr 1956 wurde unter dem Titel „Können Maschinen denken?“ erneut veröffentlicht. Zu dieser Zeit trat auch die künstliche Intelligenz in die praktische Entwicklungsphase ein. Turings Idee der maschinellen Intelligenz ist zweifellos einer der direkten Ursprünge der künstlichen Intelligenz.

Und mit der intensiven Forschung auf dem Gebiet der künstlichen Intelligenz werden sich die Menschen zunehmend der Tiefgründigkeit von Turings Ideen bewusst: Sie sind auch heute noch eine der Hauptideen der künstlichen Intelligenz.

4. Biologie etablieren

Von 1952 bis zu seinem Tod forschte Turing weiterhin in der mathematischen Biologie. Er veröffentlichte 1952 eine Arbeit mit dem Titel „The Chemical Basis of Morphogenesis“.

Sein Hauptinteresse gilt der Fibonacci-Blattfolge, den Fibonacci-Zahlen, die in Pflanzenstrukturen vorkommen. Er wandte die Reaktions-Diffusionsformel an, die heute für das Gebiet der Musterbildung von zentraler Bedeutung ist. Keine seiner späteren Arbeiten wurde veröffentlicht, und erst mit der Veröffentlichung von „The Selected Works of Alan Turing“ im Jahr 1992 erblickten diese Artikel das Licht der Welt.

5. Entscheidungsproblem

Im Jahr 1937 löste Turing mit seiner Methode das berühmte Hilbert-Entscheidungsproblem: das Problem der Bestimmung der Erfüllbarkeit der Formel der engen Prädikatenrechnung (auch als Logik erster Ordnung bekannt).

Er verwendete die Formeln der Logik erster Ordnung, um die Turing-Maschine zu kodieren, und leitete dann die Unentscheidbarkeit der Logik erster Ordnung aus der Unentscheidbarkeit des Halteproblems der Turing-Maschine ab. Die von ihm hier entwickelte „Kodierungsmethode“ wurde später zu einer der Hauptmethoden zum Nachweis der Unentscheidbarkeit von Formeln in der Logik erster Ordnung.

In Bezug auf das Entscheidungsproblem ist eine weitere Errungenschaft von Turing das 1939 vorgeschlagene Konzept der Turing-Maschine mit externer Informationsquelle, aus dem die Konzepte der „Turing-Reduzierbarkeit“ und der relativen Rekursion abgeleitet wurden.

Mithilfe der Konzepte Reduktion und relative Rekursion kann der Grad der Unentscheidbarkeit und Nichtrekursion verglichen werden. Auf dieser Grundlage hat E. Post schlug das wichtige Konzept der Insolvenzfähigkeit vor, und die Arbeiten auf diesem Gebiet machten in der Folge erhebliche Fortschritte.

Verwandte Lernempfehlungen: Programmiervideos

Das obige ist der detaillierte Inhalt vonWas sind Turings wichtigste Beiträge zur Informatik?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!