"loogikakeeles" - 1 õppematerjal

Programmeerimiskeel

.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 huvitav järeldus antud faktidest ja reeglitest tegelikult tuleneb. .Eesmärk: .Automatiseerida keeruliste järelduste tegemist nõudvaid ülesandeid. .Tulemusi ja praktika: .Järelduste tegemise programmid on abiks spetsiifilistes valdkondades, kus etteantud reeglite arv ei ole väga suur (teatud matemaatika osad, elektroonikaseadmete ja raudteesignalisatsiooni õigsuse kontroll jne).