"raudteesignalisatsiooni" - 1 õppematerjal

Programmeerimiskeel

.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). .Järelduste tegemise programmid jäävad tüüpiliselt ajahätta, kui reegleid on väga palju: raske on otsustada, mis reegleid mis järjekorras läbi proovida. .Valdkonna nimetus: automated reasoning, automated theorem proving .Tihedalt seotud valdkond: ekspertsüsteemid ITK 2007, Kalev Pihl Sissejuhatus informaatikasse 17 Miks on järelduste tegemine “hard AI”? .Sellised süsteemid oskavad teadmisi KASUTADA, st saavad asjadest TEGELIKULT aru.