Programmeerimiskeel
Rodney Brooks’iprojektMIT-s: tehaputukaanaloogideksolevaidroboteid.
.Idee: kuioskametehaputukaintellektigamasinat,
siisproovimesealtedasiliikudaväikeseloomaintellektigamasinani, sealtkõrgemaloomani,
sealtinimesenijaedasi.
.Lootus: selviisilehitamemõistusemehhanismidanaloogiliseltnendetekkelelooduses.
.http://www.ai.mit.edu/people/brooks/projects.shtml
.CYC
.Doug LenatiprojektCYC:
teemehiiglaslikuandmebaasifaktidestjareeglitestjalihtsajäreldustetegemiseprogrammisinnapeale.
.Idee: programmhakkabtekstidestarusaama, uusireegleidjafakteõppima,
seejärelka iseennasttäiustama.
.Lootus: kvantiteettekitabteatudpiiriületamiselkvalitatiivsehüppe.
.http://www.cyc.com/
ITK 2007, Kalev Pihl
Sissejuhatus informaatikasse
16
Hard AI: järelduste tegemine
.Peamine põhimõte:
.Loogikakeel on universaalne: selles saab esitada matemaatikat, igapäevaelu jms.
.Salvestame faktid ja reeglid sobivas loogikakeeles.
.Ehitame järelduste tegemise programmi, mis suudaks kiirelt kontrollida, kas meid
annaabi.ee 
