Cvičení IA008 (Výpočtová logika)

semestr: jaro 2012

seminars in English: IA008/03, Wednesdays 12:00–13:50, room G123. Other seminars are in Czech.

ve čtvrtek 26.4. odpadá cvičení skupiny 02 v době 12 až 13:50 h (v učebně B204 bude probíhat výuka jiného předmětu)

úterní skupina 01 nebude mít z důvodu státních svátků (1. a 8.5.) dva týdny po sobě vlastní cvičení. V prvním z těchto týdnů budou ostatní skupiny procvičovat látku, kterou už má skupina 01 procvičenou. Ve druhém týdnu (od 7.5.2012) mohou zájemci o procvičení deskripční logiky ze skupiny 01 navštívit libovolnou jinou skupinu cvičení.

Podmínky:

• ze cvičení není udělován zápočet
• pro získání hodnocení předmětu IA008 je povinná účast na cvičeních (jsou povoleny max. 3 neomluvené neúčasti)
• všechny skupiny cvičení začínají až ve druhém týdnu semestru (tj. v týdnu od 27.2.2012)

Obsah cvičení:

1. Opakování (rezoluce): zadání, řešení
2. Prolog a inference (box model, metainterprety, zpětné a dopředné řetězení, Davis Putnam): zadání, řešení
3. Tabla ve výrokové logice: zadání, řešení
4. Tabla v predikátové logice: zadání, řešení
5. Strojové učení (induktivní inference ve výrokové logice): zadání, řešení
6. Induktivní inference v predikátové logice: zadání, řešení
7. Tabla v modální logice: zadání, řešení
8. DCG (Definite Clause Grammars): zadání, řešení
9. Deskripční logika: zadání, řešení
10. Neklasické logiky (fuzzy logika, trojhodnotová logika): zadání, řešení
11. Prezentace důkazového systému, např. leanTaP, ACL2, PANDA (pokud zbude čas)
12. Konzultace (účast není povinná)

Další materiály:

• Opakování (normální formy, skolemizace, unifikace, úvod do rezoluce): pdf, ps (převzato od J. Blaťáka a J. Strejčka)
• Další podklady k opakování: studijní materiály k předmětu IB101
• Atomická tabla (pdf) (pro predikátovou logiku 1.řádu a modální logiku)