Přirozená dedukce vs. sémantická tabla …:

Výuka inference v kurzech logiky na FI MU

Doc. RNDr. Luboš POPELÍNSKÝ, Ph.D.
Laboratoř dobývání znalostí, Fakulta informatiky MU v Brně
popel@fi.muni.cz

RNDr. Eva MRÁKOVÁ, Ph.D.
Laboratoř dobývání znalostí, FI MU v Brně
glum@fi.muni.cz



Abstrakt

V našem příspěvku nejprve podáme přehled výuky inferenčních metod v kursech logiky, logického programování a umělé inteligence na FI MU. Poté se zaměříme na deduktivní metody a nástroje použité při jejich výuce, především na vizualizace rezolučních a tablových metod pro různé logické kalkuly. Na závěr předložíme první představy o dalším rozvoji kurzů logiky a jak mohou být naplněny v nastávajícím projektu OPVK. Soustředíme se opět na výuku metod inference a použití vizualizací a též na použití metod analýzy dat (data mining) v procesu výuky.

Prezentace

Článek ve sborníku