Transcript Výuka inference v kursech logiky na FI MU Eva Mráková a Luboš Popelínský Fakulta informatiky, Masarykova univerzita Brno Česká republika www.fi.muni.cz {glum,popel}@fi.muni.cz Organon VIII 3.

Výuka inference v kursech logiky
na FI MU
Eva Mráková a Luboš Popelínský
Fakulta informatiky, Masarykova univerzita Brno
Česká republika
www.fi.muni.cz {glum,popel}@fi.muni.cz
Organon VIII 3. února 2012 Telč
Abstrakt
 přehled výuky inferenčních metod v kursech logiky,
logického programování a umělé inteligence na FI MU
 deduktivní metody, vizualizace rezolučních a tablových
metod pro různé logické kalkuly
 další rozvoj kurzů logiky a projekt OPVK EduMining
Organon VIII 3. února 2012 Telč
Organon VIII 3. února 2012 Telč
Výuka inferenčních metod




Úvod do logiky
dedukce: axiomatické systémy, rezoluční metoda
výroková logika, predikátová logika 1. řádu
zpětné a dopředné řetězení pravidel
odvozování s neurčitostí
induktivní inference ve výrokové logice
Úvod do umělé inteligence
úvod do reprezentace a vyvozování znalostí s neurčitostí
Computational logic
dedukce: tablové dákazy
modální logika, deskripční logiky
induktivní inference v predikátové a modální logice
Strojové učení
Organon VIII 3. února 2012 Telč
Vizualizace a animace

Knowledge Discovery Lab
 http://www.fi.muni.cz/kd/projects/animationsForLogic

Animace modálních tabel
Organon VIII 3. února 2012 Telč
Organon VIII 3. února 2012 Telč
EduMining OPVK
Elektronické opory a e-learning pro obory a úlohy
výpočtového a konstrukčního charakteru
1.3.2012 - 28.2.2015
efektivní nástroje pro procvičování a hodnocení
Organon VIII 3. února 2012 Telč
MU
zkušenosti s vizualizacemi v logice
zkušenosti s e-learningovým systémem v IS MU
data-mining didaktických dat z elektronických testů
vizualizace těchto dat
vytváření rovných příležitostí přístupu ke vzdělávání, středisko Teiresias
Organon VIII 3. února 2012 Telč
Cíl
Systém nástrojů pro vizualizaci vzorových řešení úloh konstrukčních i
výpočtových typů
zpětná vazba - zkušeností získaných při vytváření data miningového nástroje
pro analýzu on-line testů DŽEMUJ
vizualizovaná data zpřístupnit rovněž handicapovaným
Organon VIII 3. února 2012 Telč
Organon VIII 3. února 2012 Telč