seminár z umelej iteligencie pondelky o 14:00 v I9
rozcvička: Dotaz (bez negácie) v prirozenom jazyku formalizovať v jazyku logického programovania a na daných faktoch pomocou SLD-rezolvencie odvodiť cieľ.
analýza vlastností operátora odvodenia Cn(E) = E ∪ CWA(E): reflexívnosť, korektnosť, zachovávanie konzistentnosti, slabá korektnosť, monotónnosťpríklady na operátor odvodenia Cn
dokončenie analýzy vlastností operátora odvodenia Cn(E) = E ∪ CWA(E). Ak pracuje nad definitnými klauzami, konzistentnosť zachováva.
defaultové extenzie: zbierka príkladov, heuristiky
Default Logic Simulation, applet z TU Wien
DeReS (default reasoning system)
rozcvička z SLD rezolvencie pre tých čo nepísali 27.2
defaultové extenzie, iterovanie extenzie, formalizácia znalostí v jazyku defaultovej logiky
referovanie o projekte: návrh scenára
rozcvička: znalosti v prirodzenom jazyku formalizovať v jazyku defaultovej logiky a nájsť všetky extenzie.
príklady na Hornove logické programy
príklady na Hornove logické programy
Normálne logické programy: stratifikácia, štandardný model, lokálna stratifikácia
príklady na normálne logické programy a stratifikáciu
okruh na midterm: základná teória z prednášok, príklady z cvičení
stabilné modely, dynamické logické programy
výpočet stabilných modelov
argumentácia: bezkonfliktné, prípustné množiny, akceptovateľnosť argumentu k množine, stabilné extenzie, preferované extenzie, úplné extenzie
rozcvička: stabilné modely
argumentácia: konštrukcia argumentov, značkovanie, dialógové stromy pre uzemnenú sémantiku
solver na argumentačné sémantiky
rozcvička: argumentácia