John McCarthy (informaticus)
John McCarthy (Boston (Massachusetts), Stanford (Californië) , 4 september 1927 – Palo Alto, 23 oktober 2011) was een Amerikaans informaticus die vooral bekend is om zijn werk in de kunstmatige intelligentie, een term die hij geopperd heeft. Hij was tevens de bedenker van de programmeertaal Lisp. In 1971 ontving hij de Turing Award voor zijn bijdragen aan de kunstmatige intelligentie.
Biografie
McCarthy was de zoon van John Patrick en Ida Glatt McCarthy.[1] Na de Belmont High School in Los Angeles studeerde hij wiskunde aan de California Institute of Technology, waar hij in 1948 zijn Bachelor of Science behaalde. In 1951 promoveerde hij in hetzelfde vakgebied aan de Universiteit van Princeton. Hij werkte achtereenvolgens kortstondig te Princeton, Stanford, Dartmouth en het MIT. Bij deze laatste was hij medeoprichter van het Project MAC, een onderzoeksproject naar kunstmatige intelligentie. Hij verliet MIT echter in 1962 en werd aangesteld als hoogleraar aan de Stanford-universiteit. Hier bleef hij de rest van zijn loopbaan, tot zijn emeritaat in 2000. Hij werkte er onder meer aan het opzetten van het Kunstmatige Intelligentie-lab van Stanford.
Wetenschappelijk werk
- McCarthy introduceerde de term kunstmatige intelligentie tijdens een voordracht bij de Dartmouth Conference in 1955.
- De specificaties van zijn programmeertaal Lisp publiceerde hij in 1960 in de Communications of the ACM.
- In 1961 publiceerde McCarthy een paper getiteld A Basis for a Mathematical Theory of Computation, in 1962 uitgebreid met Towards a Mathematical Science of Computation. In deze publicaties schetste hij de — volgens hem noodzakelijke — ontwikkeling voor een sterk formalistische, wiskundige basis voor de informatica. Meer dan 40 jaar later kunnen deze papers vrijwel dienstdoen als plattegrond voor de ontwikkeling van de formele informatica zoals deze echt heeft plaatsgevonden.
- In 1969 formuleerde hij samen met Patrick J. Hayes het frame-probleem in Some philosophical problems from the standpoint of artificial intelligence.
- McCarthy heeft zich, als onderdeel van zijn interesse voor kunstmatig intelligente systemen, toegelegd op de behandeling van formele talen. In de eerder genoemde publicaties introduceerde hij al het idee van een abstracte syntaxis voor formele talen, een concept dat zich sindsdien ontwikkeld heeft tot de kern van de compilerbouw en het begrip dat informatici van compilatie hebben. Van McCarthy's hand is ook het paper Correctness of a Compiler for Arithmetic Expressions, wat mogelijk (maar niet zeker) het eerste, formele bewijs van correctheid is van een compiler voor een formele taal.
Noot
Externe links
|
 |
Zie de categorie John McCarthy (computer scientist) van Wikimedia Commons voor mediabestanden over dit onderwerp. |