John McCarthy (am 4. September 1927 - am 24. Oktober 2011) war ein amerikanischer Computerwissenschaftler und kognitiver Wissenschaftler. Er hat den Begriff "künstliche Intelligenz" (AI) erfunden, hat die Lispeln-Programmiersprache-Familie entwickelt, hat bedeutsam das Design der Algol-Programmiersprache, des verbreiteten Time-Sharings beeinflusst, und war in der frühen Entwicklung von AI sehr einflussreich.

McCarthy hat viele Ritterschläge und besondere Auszeichnungen, einschließlich des Turing-Preises für seine Beiträge zum Thema von AI, der Nationalen USA-Medaille der Wissenschaft und dem Kyoto Preis erhalten.

Persönliches Leben und Ausbildung

John McCarthy ist in Boston, Massachusetts am 4. September 1927 einem irischen einwandernden Vater und einer litauischen jüdischen einwandernden Mutter, John Patrick und Ida Glatt McCarthy geboren gewesen. Die Familie war verpflichtet, oft während der Weltwirtschaftskrise umzuziehen, bis der Vater von McCarthy Arbeit als ein Veranstalter für die Fusionierten Kleidungsarbeiter in Los Angeles, Kalifornien gefunden hat.

McCarthy war außergewöhnlich intelligent, und hat Höhere Schule von Belmont zwei Jahre früh absolviert. Er hat eine frühe Begabung für die Mathematik gezeigt; während seines Teenageralters hat er sich Universitätsmathematik unterrichtet, indem er die Lehrbücher studiert hat, die am nahe gelegenen Institut von Kalifornien für die Technologie (Caltech) verwendet sind. Infolgedessen, als McCarthy in Caltech während 1944 akzeptiert wurde, ist er im Stande gewesen, die ersten zwei Jahre der Mathematik auszulassen.

McCarthy wurde wie verlautet von Caltech für den Misserfolg vertrieben, Leibeserziehungskursen beizuwohnen; er hat dann in der US-Armee gedient und wurde wiedereingelassen, einen B.S. in der Mathematik während 1948 erhaltend. Es war an Caltech, dass er einem Vortrag durch John Von Neumann beigewohnt hat, der seine zukünftigen Versuche begeistert hat. McCarthy hat am Anfang seine Studien an Caltech fortgesetzt. Er hat einen Dr. in der Mathematik von der Universität von Princeton während 1951 als ein Student von Solomon Lefschetz empfangen.

McCarthy wurde dreimal geheiratet. Seine zweite Frau war Vera Watson, ein Programmierer und Bergsteiger, der während 1978 gestorben ist versuchend, Annapurna I zu erklettern. Er hat später Carolyn Talcott, einen Computerwissenschaftler an Stanford und späterer SRI International geheiratet.

Karriere in der Informatik

Nach Kurzzeiternennungen an Princeton, Universität von Stanford, Dartmouth und MIT, ist er ein voller Professor an Stanford während 1962 geworden, wo er bis zu seinem Ruhestand am Ende 2000 geblieben ist. Am Ende seiner frühen Tage an MIT ist er bereits liebevoll "Onkel John" durch seine Studenten genannt geworden.

McCarthy hat mathematische Logik für die künstliche Intelligenz verfochten. Während 1956 hat er die erste internationale Konferenz organisiert, um künstliche Intelligenz zu betonen. Einer der Anwesenden war Marvin Minsky, der, später, einer der AI Haupttheoretiker geworden ist, und sich McCarthy an MIT während 1959 angeschlossen hat. Während des Herbstes 1956 hat McCarthy eine MIT Forschungskameradschaft gewonnen. Er hat auf dem Komitee gedient, das Algol entworfen hat, das eine sehr einflussreiche Programmiersprache durch das Einführen vieler neuer Konstruktionen jetzt in der üblichen Anwendung geworden ist. Während 1958 hat er den Rat-Nehmer vorgeschlagen, der spätere Arbeit an der auf Frage antwortenden und Logikprogrammierung begeistert hat. 1959 hat er so genannte "Müll Sammlung" Methoden erfunden, Probleme im Lispeln zu beheben. Gestützt auf der Lambda-Rechnung ist Lispeln bald die Programmiersprache der Wahl für AI Anwendungen nach seiner Veröffentlichung während 1960 geworden. Er hat geholfen, die Entwicklung von Projekt-MAC an MIT zu motivieren, aber hat MIT für die Universität von Stanford während 1962 verlassen, wo er geholfen hat, das Laboratorium von Stanford AI, viele Jahre lang ein freundlicher Rivale einzusetzen, um MAC Zu planen.

Während 1961 war er erst, um öffentlich anzudeuten (in einer Rede, die gegeben ist, um die Hundertjahrfeier von MIT zu feiern), dass Computertime-Sharing-Technologie auf eine Zukunft hinauslaufen könnte, in der Rechenmacht und sogar spezifische Anwendungen durch das Dienstprogramm-Geschäftsmodell (wie Wasser oder Elektrizität) verkauft werden konnten. Diese Idee von einem Computer oder Informationsdienstprogramm war während des Endes der 1960er Jahre sehr populär, aber ist durch die Mitte der 1990er Jahre verwelkt. Jedoch, seit 2000, ist die Idee in neuen Formen wiederaufgetaucht (sieh Anwendungsdienstleister, Bratrost-Computerwissenschaft und Wolkencomputerwissenschaft).

Während 1966 haben McCarthy und seine Mannschaft an Stanford geschrieben, dass ein Computerprogramm gepflegt hat, eine Reihe von Schachspielen mit Kopien in der Sowjetunion zu spielen; die Mannschaft von McCarthy hat zwei Spiele verloren und hat zwei Spiele gezogen, sieh Kotok-McCarthy.

Von 1978 bis 1986 hat McCarthy die Umschreibungsmethode des nichtmonotonischen Denkens entwickelt.

McCarthy wird auch das Entwickeln einer frühen Form des Time-Sharings zugeschrieben. Sein Kollege Lester Earnest hat Los Angeles Times erzählt: "Das Internet wäre fast nicht geschehen, sobald es getan hat abgesehen davon, dass John die Entwicklung von Time-Sharing-Systemen begonnen hat. Wir setzen fort, neue Namen für das Time-Sharing zu erfinden. Es ist gekommen, um Server genannt zu werden. … Jetzt nennen wir es Wolkencomputerwissenschaft. Das ist noch gerade Time-Sharing. John hat es angefangen."

Während 1982 scheint er, die Idee vom "Raumbrunnen", einem Typ des Turms hervorgebracht zu haben, der sich in den Raum ausstreckt und vertikal durch die äußere Kraft eines Stroms von Kügelchen angetrieben von der Erde entlang einer Art Förderband gehalten zu haben, das die Kügelchen in die Erde zurückgibt (Nutzlasten würden das Förderband aufwärts reiten).

McCarthy hat sich häufig über Weltangelegenheiten über die Usenet-Foren geäußert. Einige seiner Ideen können in seiner Nachhaltigkeitswebseite gefunden werden, die Vertretung "gezielt wird, dass menschlicher materieller Fortschritt wünschenswert und nachhaltig ist". McCarthy war ein ernster Buchleser, ein Optimist und ein treuer Unterstützer der Redefreiheit. Seine beste Usenet-Wechselwirkung ist in Rec.arts.books-Archiven sichtbar. Und John hat aktiv SF Kastanienbraunen Bereichsmittagessen in der Palo Altstimme von r.a.b. Lesern genannt Rab-Feste beigewohnt. John hat fortgesetzt, Redefreiheitskritik zu verteidigen, die mit europäischen ethnischen Witzen an Stanford verbunden ist.

McCarthy hat die Wichtigkeit von der Mathematik- und Mathematik-Ausbildung gesehen, die einen Nummernschild-Wächter auf seinem BMW-Auto eingeschlossen hat, das bemerkt: Diejenigen, die Mathematik nicht sprechen, sind verloren (paraphrasierter) Quatsch zu sprechen.

Er hat 30 Doktorabsolventen empfohlen.

Seine 2001-Novelle "Der Roboter und das Baby" hat possenhaft die Frage dessen erforscht, ob Roboter haben (oder vortäuschen sollten zu haben), Gefühle und vorausgesehene Aspekte der Internetkultur und des sozialen Netzwerkanschlusses, der prominenter während des folgenden Jahrzehnts geworden ist.

Preise und besondere Auszeichnungen

• Turing Preis von der Vereinigung, um Maschinerie (1971) zu schätzen.
• Kyoto Preis (1988).
• Nationale Medaille der Wissenschaft (die USA) in mathematischen, statistischen und rechenbetonten Wissenschaften (1990).
• Eingeweiht als ein Gefährte des Computergeschichtsmuseums (1999)
• Medaille von Benjamin Franklin in der Informatik und Erkenntnistheorie vom Institut von Franklin (2003).
• Eingeweiht in die Ruhmeshalle von AI der IEEE Intelligenten Systeme (2011), für die "bedeutenden Beiträge zum Feld von AI und intelligenten Systemen".

Hauptveröffentlichungen

• McCarthy, J. 1959. Programme mit dem Gesunden Menschenverstand. In Verhandlungen der Teddington Konferenz für die Mechanisierung von Gedanke-Prozessen, 756-91. London: Das Schreibpapier-Büro ihrer Majestät.
• McCarthy, J. 1960. Rekursive Funktionen von symbolischen Ausdrücken und ihrer Berechnung durch die Maschine. Kommunikationen des ACM 3 (4):184-195.
• McCarthy, J. 1963a Eine Basis für eine mathematische Theorie der Berechnung. In der Computerprogrammierung und den formellen Systemen. Nordholland.
• McCarthy, J. 1963b. Situationen, Handlungen und kausale Gesetze. Technischer Bericht, Universität von Stanford.
• McCarthy, J. und Hayes, P. J. 1969. Einige philosophische Probleme von der Einstellung der künstlichen Intelligenz. In Meltzer, B., und Michie, D., Hrsg., Maschinenintelligenz 4. Edinburgh: Edinburgher Universität Presse. 463-502.
• McCarthy, J. 1977. Erkenntnistheoretische Probleme der künstlichen Intelligenz. In IJCAI, 1038-1044.
• McCarthy, J. 1980. Umschreibung: Eine Form des nichtmonotonischen Denkens. Künstliche Intelligenz 13 (1-2):23-79.
• McCarthy, J. 1986. Anwendungen der Umschreibung zum Denken des gesunden Menschenverstands. Künstliche Intelligenz 28 (1):89-116.
• McCarthy, J. 1990. Allgemeinheit in der künstlichen Intelligenz. In Lifschitz, V., Hrsg., Gesunden Menschenverstand Formalisierend. Ablex. 226-236.
• McCarthy, J. 1993. Zeichen auf dem Formalisieren des Zusammenhangs. In IJCAI, 555-562.
• McCarthy, J. und Buvac, S. 1997. Das Formalisieren des Zusammenhangs: Ausgebreitete Zeichen. In Aliseda, A.; van Glabbeek, R.; und Westerstahl, D., Hrsg., Natürliche Sprache Schätzend. Universität von Stanford. Auch verfügbar als Stanford Technisches Zeichen STAN CS TN 94 13.
• McCarthy, J. 1998. Weiterentwicklungstoleranz. In Arbeitspapieren des Vierten Internationalen Symposiums auf Logischen Formalisierungen des Denkens des Gesunden Menschenverstands, Gesunder Menschenverstand 1998.
• Costello, T. und McCarthy, J. 1999. Nützlicher counterfactuals. Elektronische Transaktionen auf der Künstlichen Intelligenz 3 (A):51-76
• McCarthy, J. 2002. Handlungen und andere Ereignisse in der Situationsrechnung. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; und Williams, M., Hrsg., Verhandlungen von KR-2002, 615-628.

Siehe auch

• Cornucopian
• Rahmenproblem
• Kotok-McCarthy
• McCarthy 91 Funktion
• Formalismus von McCarthy

Weiterführende Literatur

• Philip J. Hilts, Wissenschaftliche Temperamente: Drei Leben in der Zeitgenössischen Wissenschaft, Simon und Schuster, 1982. Lange Profile von John McCarthy, Physiker Robert R. Wilson und Genetiker Mark Ptashne.
• Pamela McCorduck, Maschinen, Die Denken: eine persönliche Untersuchung in die Geschichte und Aussichten der künstlichen Intelligenz, 1979, die zweite Ausgabe 2004.
• Pamela Weintraub, Hrsg., Die Omni-Interviews, New York: Ticknor und Fields, 1984. Gesammelte Interviews ursprünglich in der Zeitschrift Omni veröffentlicht; enthält ein Interview mit McCarthy.

Außenverbindungen

• Stanford von McCarthy Hausseite.
• Das Interview mit Guy Steele in OOPSLA 2008 geführt; Satz von Interviews:
• Mündliches Geschichtsinterview mit John McCarthy am Institut von Charles Babbage, der Universität Minnesotas, Minneapolis. McCarthy bespricht seine Rolle in der Entwicklung des Time-Sharings am Institut von Massachusetts für die Technologie. Er beschreibt auch seine Arbeit in der künstlichen Intelligenz (AI), die von der Fortgeschrittenen Forschungsprojektagentur, einschließlich logikbasierten AI (Lispeln) und Robotertechnik gefördert ist.
• Mündliches Geschichtsinterview mit Marvin Minsky am Institut von Charles Babbage, der Universität Minnesotas, Minneapolis. Minsky beschreibt Forschung der künstlichen Intelligenz (AI) am Institut von Massachusetts für die Technologie (MIT) einschließlich der Arbeit von John McCarthy.
• Mündliches Geschichtsinterview mit Jack B. Dennis am Institut von Charles Babbage, der Universität Minnesotas, Minneapolis. Dennis bespricht die Arbeit von John McCarthy auf dem Time-Sharing und den Einfluss der Information von DARPA, die Technik-Büro auf der Entwicklung des Time-Sharings Bearbeitet.
• Mündliches Geschichtsinterview mit Fernando J. Corbató am Institut von Charles Babbage, der Universität Minnesotas, Minneapolis. Corbató bespricht Informatik-Forschung, besonders Time-Sharing, am Institut von Massachusetts für die Technologie (MIT), einschließlich John McCarthys und Forschung über das Time-Sharing.