Åbn hovedmenuen

Ændringer

8 bytes tilføjet ,  for 3 år siden
m
linkændr
I slutningen af [[1950'erne]] kom McCarthy til [[MIT]], og han skabte her programmeringssproget [[Lisp]]; Lisp er begyndt i [[1958]] og offentliggjort i [[1960]]. McCarthy var med til at grundlægge MIT's [[AI Lab]], et førende forskningscenter for kunstig intelligens og [[styresystem]]er. McCarthy var i denne periode med til at udvikle styresystemer baseret på [[tidsdeling]] og teoretisk arbejde om [[beregnelighed]].
 
I [[1962]] vendte McCarthy tilbage til Stanford, hvor han senere blev pensioneret. McCarthy har på Stanford arbejdet med alle aspekter af kunstig intelligens, herunder [[korrekthedsbevis]]er for [[programcomputerprogram]]mer, [[ikke-monotone]] [[ræsonnering]] og [[formalisering]] af dagligdags viden og [[sund fornuft]].
 
McCarthy modtog i [[1971]] [[ACM]]'s [[Turing Award]] for sit arbejde med kunstig intelligens.
102.388

redigeringer