John McCarthy, is an American computer scientist and cognitive scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence (AI). He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference and is the inventor of the Lisp programming language.

PropertyValue
dbpedia-owl:Person/birthDate
  • 1927-09-04 (xsd:date)
dbpedia-owl:Person/knownFor
dbpedia-owl:Person/religion
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:birthDate
  • 1927-09-04 (xsd:date)
dbpedia-owl:doctoralAdvisor
dbpedia-owl:doctoralStudent
dbpedia-owl:knownFor
dbpedia-owl:religion
dbpedia-owl:thumbnail
dbpprop:abstract
  • John McCarthy, is an American computer scientist and cognitive scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence (AI). He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference and is the inventor of the Lisp programming language.
  • John McCarthy ist ein Logiker und Informatiker, dem seine großen Beiträge im Feld der Künstlichen Intelligenz den Turing Award von 1971 und einen Kyoto-Preis 1988 einbrachten. Die erste Konferenz über künstliche Intelligenz, die Dartmouth Conference, fand im Sommer 1956 statt. In dem Förderantrag an die Rockefeller Foundation für diese Konferenz prägte McCarthy 1955 den Begriff Künstliche Intelligenz. McCarthy ist der Erfinder der Programmiersprache LISP, deren Design er im Communications of the ACM (1960) vorstellte. LISP war eine der ersten Implementierungen eines Logikkalküls auf einem Computer. Außerdem wird ihm die Erfindung des Alpha-Beta-Algorithmus zugeschrieben, der entscheidend zur Spielstärke von Schachprogrammen beigetragen hat, sowie der erste mark-sweep-Algorithmus zur automatischen Speicherbereinigung (Garbage Collection). McCarthy erhielt 1948 den Bachelor of Science im Fach Mathematik vom California Institute of Technology. Den Doktortitel erwarb er drei Jahre später an der Princeton University. Er ist jetzt als Professor Emeritus der Stanford University im Ruhestand und kommentiert das Weltgeschehen oft in Internetforen aus einer mathematisch-wissenschaftlichen Perspektive. McCarthys erster Doktorand war Raj Reddy, der später ebenfalls den Turing Award gewonnen hat. Außerdem war McCarthy Doktorvater von Turingpreisträgerin Barbara Liskov. In den Jahren von 1957 bis 1959 wurde er als Sloan Fellow im Bereich Physical Science gefördert. Er gehört der American Academy of Arts and Sciences, der American Society for the Advancement of Science, der American Mathematical Society und der Association for Computing Machinery an. 1987 wurde er in die National Academy of Engineering und 1989 in die National Academy of Sciences aufgenommen, 1990 wurde ihm die National Medal of Science verliehen. Von 1983 bis 1984 war er Präsident der American Association for Artificial Intelligence und er gehört seit 1975 dem Editorial Board der Zeitschrift Artificial Intelligence Journal an.
  • John McCarthy je americký informatik a kognitivní vědec. V roce 1971 obdržel Turingovu cenu za přínos v oboru umělé inteligence. V roce 1955 navrhl na konferenci v Dartmouthu používat pojem "umělá inteligence", který se také ujal. John McCarthy je také tvůrce programovacího jazyka Lisp.
  • John McCarthy, también conocido como Tío John McCarthy, es un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial. De hecho, fue el responsable de introducir el término “inteligencia artificial”, concepto que acuñó en la Conferencia de Dartmouth en 1955. McCarthy inventó el lenguaje de programación Lisp y publicó su diseño en Comunicaciones del ACM en 1960. John McCarthy ayudó a motivar la creación del Proyecto MAC en el MIT, pero en 1962 se marchó del MIT y se fue a la Universidad de Stanford, donde se dedicó a instalar el Laboratorio de IA de Stanford, que durante muchos años fue un rival amistoso del Proyecto MAC. En 1961, fue el primero en sugerir públicamente (en un discurso dado para celebrar el centenario del MIT) que la tecnología de tiempo compartido de las computadoras podría conducir a un futuro en el que el poder del cómputo e incluso aplicaciones específicas podrían ser vendidas como un servicio. La idea de una computadora o una utilidad informática era muy popular a fines de la década del 60, pero se desvaneció hacia mediados de los 70 cuando se volvió claro que el hardware, software y las tecnologías de telecomunicación simplemente no estaban preparadas. Sin embargo, desde el 2000, la idea ha reaparecido en diferentes formas. McCarthy recibió su B.S. en Matemáticas del Instituto de Tecnología de California en 1948 y su Ph.D. en Matemáticas de la Universidad de Princeton en 1951. Tras cortas estancias en Princeton, Stanford, Dartmouth, y el MIT, pasó a ser profesor a tiempo completo en Stanford en 1962, donde permaneció hasta su retiro a finales del 2000. Ahora es Profesor Emérito.
  • John McCarthy on yhdysvaltalainen tietojenkäsittelytieteilijä. Hän otti ensimmäisenä käyttöön termin "tekoäly" 1950-luvulla ja sai vuonna 1971 työstään Turing-palkinnon. Hänet tunnetaan lisäksi Lisp-ohjelmointikielen kehittäjänä. Hän sai vuonna 1990 National Medal of Sciencen ja on ollut vuodesta 1989 Yhdysvaltain kansallisen tiedeakatemian jäsenenä. Stanfordin yliopiston tietojenkäsittelytieteen professorina hän on toiminut vuodesta 1962.
  • John McCarthy (né le 4 septembre 1927, à Boston, Massachusetts) est le principal pionnier de l'intelligence artificielle avec Marvin Minsky; il incarne le courant mettant l'accent sur la logique symbolique. À la fin des années 1950, il a créé avec Fernando Cobarto la technique du temps partagé, qui permet à plusieurs utilisateurs d'employer simultanément un même ordinateur. En 1955 il dirige la Conférence de Dartmouth, lors de laquelle il présente le principe d'élagage alpha-beta, un algorithme d'évaluation jouant un rôle majeur dans la programmation d'intelligence artificielle, et notamment utilisé par la grande majorité des programmes d'échecs. Il est également l'inventeur en 1958 du langage Lisp.
  • John McCarthy, è un importante scienziato informatico che ha vinto il Premio Turing nel 1971 per i suoi contributi nel campo dell'Intelligenza Artificiale. Egli è stato infatti l'inventore del termine "Intelligenza Artificiale" nel 1955 (in una proposta per creare un gruppo di lavoro che avrebbe dovuto incontrarsi al Dartmouth College nell'estate '56). McCarthy si distingueva per le sue conoscenze di logica matematica in relazione all'Intelligenza Artificiale. Una scuola di pensiero diversa, nata al MIT, propone l'"inclusione procedurale del sapere" usando piani di alto livello, asserzioni, e ponendo il primo traguardo nel linguaggio Planner ed in seguito nella Scientific Community Metaphor. La controversia che ne risultò è ancora attuale ed oggetto di ricerca. McCarthy inventò il linguaggio di programmazione Lisp e pubblicò i suoi progetti sul Communications of the ACM nel 1960. Motivò inoltre la creazione del Progetto MAC al MIT, ma lasciò tale università preferendo Stanford University nel 1962. Lì creò il Laboratorio di Intelligenza Artificiale, che fu per molti anni amico-rivale del Progetto MAC. Nel 1961, fu il primo a dire (in un discorso fatto durante le celebrazioni del centenario del MIT) che il metodo time-sharing (condivisione a tempo) dei computer può condurre verso un futuro dove la potenza dei calcolatori ed anche specifiche applicazioni possono essere vendute secondo il modello economico dell'utilità. Quest'idea era molto popolare alla fine degli anni sessanta, ma scomparì intorno alla metà degli anni settanta, quando divenne chiaro che l'hardware, il software e le telecomunicazioni del tempo non erano pronte. Ad ogni modo, a partire dal 2000, l'idea è tornata in superficie in nuove forme. McCarthy ottenne il suo BSc. in Matematica al California Institute of Technology nel 1948 ed il Ph.D. in Matematica alla Princeton University nel 1951. Dopo alcuni brevi lavori a Princeton, Stanford, Dartmouth, e MIT, divenne professore a Stanford nel 1962, dove rimase fino al suo pensionamento avvenuto alla fine del 2000. Egli è ora Professore Emerito. John McCarthy commenta spesso affari mondiali su forum in Internet con una prospettiva di destra. Alcune sue idee possono essere trovate sulla sua web page, che è "mirata a mostrare che il progresso materiale umano è desiderabile e sostenibile"
  • ファイル:John McCarthy 2006. jpg 講義後のジョン・マッカーシー（ニューヨーク州立大学バッファロー校にて） ジョン・マッカーシー（John McCarthy, 1927年9月4日 - ）は、マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。「人工知能; Artificial Intelligence」という用語は彼が1956年のダートマス会議のために1955年に出した提案書で初めて使用された。 1927年にボストンに生まれる。両親は都市を中心に活動する共産主義者だった。 マッカーシーは人工知能のために数理論理学を使って知識を表現することに尽力した。別の考え方としてMITなどでは高レベルの計画や目標設定を使った「知識の手続き的埋め込み」が提案されており、これはPlanner言語や後の「Scientific community metaphor」を生み出した（Prolog言語は Planner のサブセット）。これらに関する議論は今も研究課題である。 マッカーシーはLISP言語を発明し、1960年に Communications of the ACM 誌でその設計を公表した。彼は MIT で Project MAC の創設に関わったが、1962年にスタンフォード大学で職を得て MIT を離れた。スタンフォード大学では Project MAC のライバルとなるスタンフォード人工知能研究所の設立に関与した。 1961年、マッカーシーは MIT の100周年記念式典でのスピーチで、タイムシェアリングシステムの技術によって（水道や電力のように）コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方は再浮上してきている（アプリケーションサービスプロバイダを参照）。 1969年には、パトリック・ヘイズと共に人工知能の分野で常に議論の対象となるフレーム問題を提唱する。 ジョン・マッカーシーはしばしばネットニュース上で世界情勢についてコメントする。彼の考え方は自身の持続可能性 (Sustainability) に関するWeb ページでも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。
  • John McCarthy is een prominent informaticus. Hij geniet veel bekendheid om zijn werk in de kunstmatige intelligentie, maar ook zijn eerdere werk is bijzonder indrukwekkend. In 1971 ontving hij, voor zijn bijdragen aan de kunstmatige intelligentie, de Turing Award. McCarthy behoort tot de tweede generatie van wiskundigen die zich in hun werk in het bijzonder richtten op vraagstukken uit het vakgebied van de informatica en tot de eerste generatie van mensen (samen met bijvoorbeeld Edsger Dijkstra) die met recht informaticus genoemd mogen worden en niet alleen gespecialiseerd wiskundige.
  • John McCarthy - informatyk amerykański, laureat Nagrody Turinga w 1971 r. za wkład w dziedzinie sztucznej inteligencji; autor terminu "sztuczna inteligencja", który sformułował w 1956 r. na konferencji w Dartmouth. McCarthy jest też autorem języka programowania LISP, którego projekt opublikował w 1960 r. w Communications of the ACM. W 1948 ukończył matematykę w Caltech (California Institute of Technology), w 1951 zdobył stopień doktorski z matematyki w Princeton University. Pracował naukowo w Princeton, Stanford i Dartmouth. W latach 60. współtworzył Project MAC w MIT, jednak w 1962 r. opuścił instytut i przeniósł się do Stanford University, gdzie otrzymał profesurę i był współtwórcą Stanford AI Laboratory - przez wiele lat przyjaznego rywala Project MAC. W 2000 r. przeszedł na emeryturę. John McCarthy jest w dalszym ciągu aktywnym komentatorem wydarzeń, szczególnie problemów globalnych, przedstawiając je z pozycji prawicowych.
  • John McCarthy é um cientista da computação estadunidense, conhecido pelos seus estudos no campo da inteligência artificial e por ser o criador da linguagem de programação Lisp.
  • John McCarthy este un informatician american, laureat al Premiului Turing în 1971 pentru contribuţiile aduse în domeniul inteligenţei artificiale. El este cel care a propus termenul de inteligenţă artificială şi a inventat limbajul de programare LISP.
  • Джон Маккарти — выдающийся американский информатик, автор термина «искусственный интеллект» (1955), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат Премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.
  • John McCarthy, önde gelen bilgisayar bilimcilerindendir. "Yapay Zeka" terimini ve Lisp programalama dilini icat etmiş; çok kullanıcılı/zaman paylaşımlı sistemlerin gelişmesinde öncü rol oynamış, özellikle sembolik yapay zeka araştırmalarına öncü ve yönlendirici katkılarda bulumuştur. Bilgisayar bilimine katkılarından dolayi 1971'de ACM Turing Ödülü'ne layık görülmüştür. McCarthy, 1948'de Kaliforniya Teknik Üniversitesi'den matematik lisansı, 1951'de Princeton Üniversitesi'nden yine matematik dalında doktora almıştır. MIT'de ve Stanford Üniversitesi'nde çalışmış, Stanford Üniversitesi'nden emekli olmuştur (Halen Stanford Üniversitesi'nde "Emeritus" Profesör olarak çalışmaktadır).
  • 约翰·麦卡锡（John McCarthy，1927年9月4日－），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。 麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》（en:Communications of the ACM）上。他帮助推动了麻省理工学院的MAC项目（en:Project MAC）。然而，他在1962年了离开麻省理工学院，前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室（en:Stanford Artificial Intelligence Laboratory），成为MAC项目多年来的一个友好的竞争对手。 他于1948年获得加州理工学院数学学士学位，1951年获得普林斯顿大学数学博士学位。分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后，麦卡锡于1962年-2000年底在斯坦福担任教授，退休后成为名誉教授。 约翰·麦卡锡时常在网络论坛上对时事作出右翼倾向的评论。
dbpprop:after
dbpprop:almaMater
  • Princeton University
dbpprop:before
dbpprop:birthDate
dbpprop:birthPlace
  • Boston, Massachusetts, USA
dbpprop:caption
  • John McCarthy at a summit in 2006
dbpprop:dateOfBirth
  • 1927-09-04 (xsd:date)
dbpprop:doctoralAdvisor
dbpprop:doctoralStudents
dbpprop:field
  • Computer Technology
dbpprop:hasPhotoCollection
dbpprop:imageWidth
  • 200px
dbpprop:knownFor
dbpprop:name
  • John McCarthy
  • McCarthy, John
dbpprop:nationality
  • American
dbpprop:prizes
  • Turing Award, 1971; Benjamin Franklin Medal in Computer and Cognitive Science, 2003
dbpprop:reference
dbpprop:religion
dbpprop:residence
  • USA
dbpprop:shortDescription
  • American computer scientist
dbpprop:title
  • Benjamin Franklin Medal in Computer and Cognitive Science
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
  • Massachusetts Institute of Technology; Stanford University; Dartmouth College; Princeton University
dbpprop:years
  • 2003 (xsd:integer)
rdf:type
rdfs:comment
  • John McCarthy, is an American computer scientist and cognitive scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence (AI). He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference and is the inventor of the Lisp programming language.
  • John McCarthy ist ein Logiker und Informatiker, dem seine großen Beiträge im Feld der Künstlichen Intelligenz den Turing Award von 1971 und einen Kyoto-Preis 1988 einbrachten. Die erste Konferenz über künstliche Intelligenz, die Dartmouth Conference, fand im Sommer 1956 statt. In dem Förderantrag an die Rockefeller Foundation für diese Konferenz prägte McCarthy 1955 den Begriff Künstliche Intelligenz.
  • John McCarthy je americký informatik a kognitivní vědec. V roce 1971 obdržel Turingovu cenu za přínos v oboru umělé inteligence. V roce 1955 navrhl na konferenci v Dartmouthu používat pojem "umělá inteligence", který se také ujal. John McCarthy je také tvůrce programovacího jazyka Lisp.
  • John McCarthy, también conocido como Tío John McCarthy, es un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial. De hecho, fue el responsable de introducir el término “inteligencia artificial”, concepto que acuñó en la Conferencia de Dartmouth en 1955. McCarthy inventó el lenguaje de programación Lisp y publicó su diseño en Comunicaciones del ACM en 1960.
  • John McCarthy on yhdysvaltalainen tietojenkäsittelytieteilijä. Hän otti ensimmäisenä käyttöön termin "tekoäly" 1950-luvulla ja sai vuonna 1971 työstään Turing-palkinnon. Hänet tunnetaan lisäksi Lisp-ohjelmointikielen kehittäjänä. Hän sai vuonna 1990 National Medal of Sciencen ja on ollut vuodesta 1989 Yhdysvaltain kansallisen tiedeakatemian jäsenenä. Stanfordin yliopiston tietojenkäsittelytieteen professorina hän on toiminut vuodesta 1962.
  • John McCarthy (né le 4 septembre 1927, à Boston, Massachusetts) est le principal pionnier de l'intelligence artificielle avec Marvin Minsky; il incarne le courant mettant l'accent sur la logique symbolique. À la fin des années 1950, il a créé avec Fernando Cobarto la technique du temps partagé, qui permet à plusieurs utilisateurs d'employer simultanément un même ordinateur.
  • John McCarthy, è un importante scienziato informatico che ha vinto il Premio Turing nel 1971 per i suoi contributi nel campo dell'Intelligenza Artificiale. Egli è stato infatti l'inventore del termine "Intelligenza Artificiale" nel 1955 (in una proposta per creare un gruppo di lavoro che avrebbe dovuto incontrarsi al Dartmouth College nell'estate '56). McCarthy si distingueva per le sue conoscenze di logica matematica in relazione all'Intelligenza Artificiale.
  • ファイル:John McCarthy 2006.
  • John McCarthy is een prominent informaticus. Hij geniet veel bekendheid om zijn werk in de kunstmatige intelligentie, maar ook zijn eerdere werk is bijzonder indrukwekkend. In 1971 ontving hij, voor zijn bijdragen aan de kunstmatige intelligentie, de Turing Award.
  • John McCarthy - informatyk amerykański, laureat Nagrody Turinga w 1971 r. za wkład w dziedzinie sztucznej inteligencji; autor terminu "sztuczna inteligencja", który sformułował w 1956 r. na konferencji w Dartmouth. McCarthy jest też autorem języka programowania LISP, którego projekt opublikował w 1960 r. w Communications of the ACM. W 1948 ukończył matematykę w Caltech (California Institute of Technology), w 1951 zdobył stopień doktorski z matematyki w Princeton University.
  • John McCarthy é um cientista da computação estadunidense, conhecido pelos seus estudos no campo da inteligência artificial e por ser o criador da linguagem de programação Lisp.
  • John McCarthy este un informatician american, laureat al Premiului Turing în 1971 pentru contribuţiile aduse în domeniul inteligenţei artificiale. El este cel care a propus termenul de inteligenţă artificială şi a inventat limbajul de programare LISP.
  • John McCarthy, önde gelen bilgisayar bilimcilerindendir. "Yapay Zeka" terimini ve Lisp programalama dilini icat etmiş; çok kullanıcılı/zaman paylaşımlı sistemlerin gelişmesinde öncü rol oynamış, özellikle sembolik yapay zeka araştırmalarına öncü ve yönlendirici katkılarda bulumuştur. Bilgisayar bilimine katkılarından dolayi 1971'de ACM Turing Ödülü'ne layık görülmüştür.
rdfs:label
  • John McCarthy (computer scientist)
  • John McCarthy
  • John McCarthy
  • John McCarthy
  • John McCarthy
  • John McCarthy
  • John McCarthy
  • ジョン・マッカーシー
  • John McCarthy (informaticus)
  • John McCarthy
  • John McCarthy
  • John McCarthy
  • Маккарти, Джон
  • John McCarthy
  • 约翰·麦卡锡
owl:sameAs
skos:subject
foaf:depiction
foaf:givenname
  • John
  • John
foaf:name
  • John McCarthy
  • John McCarthy
foaf:page
foaf:surname
  • McCarthy
  • McCarthy
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:Work/author of
is dbpedia-owl:author of
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:doctoralStudent of
is dbpprop:after of
is dbpprop:author of
is dbpprop:before of
is dbpprop:cquote2Property of
is dbpprop:designer of
is dbpprop:doctoralAdvisor of
is dbpprop:doctoralStudents of
is dbpprop:redirect of