Plánovanie (úvod do reprezentácie znalostí)

Skúška

Každý týždeň do konca skúškového bude vypísaný jeden termín. Na skúšky sa treba zapísať v AIS-e.

Streda 14.1. 13:14:15
Utorok 20.1. 13:14:15
~~19.1. - 23.1. Hlasujte v doodli Uzavrie sa 14.1. (navyše oproti 20.1. ak bude záujem)~~
Utorok 27.1. 13:14:15 ~~Hlasujte v doodli Uzavrie sa 18.1.~~
2.2. - 6.2. Hlasujte v doodli Uzavrie sa 25.1.
9.2. - 13.2. Hlasujte v doodli Uzavrie sa 1.2.

(Doodle hlasovanie je spoločné pre skúšky z ASP a Plánovania, aj ked tam je napisané iba ASP)

7.10. 2014 prednáška bude normálne (t.j. v I9)

Úvod do plánovania, doména (prechodová funkcia, relácia, graf,...), plánovací problém, plán... [RN] kap. 10.
Akčný jazyk A, [Bar] kap. 5.
Preklad do výrokovej logiky. Bohužiaľ nemám žiadne rozumne referencie, v [RN] 10.4.1 je veľmi krátko spomenutý iný preklad, možno Compilation of Planning to SAT (Yiqiao Wang) zo stránky KR&R kurzu univerzity v Toronte
Herbrandovské interpretácie, úvod do LP, ASP. Slajdy z ASP (tu je to zadefinované nad jazykom prvorádovej logiky, na prednáške to bolo nad jazykom LP - žiadne rekurzívne budovanie formúl, pravidlá fixného tvaru).
Logické programy, stabilné modely. Slajdy z ASP, prípadne [Bar] kap. 3 (trochu viac technické).
Preklad do LP/ASP. Opäť asi len poznámky z prednášky. v [Bar] kap. 5 je všeobecný preklad s rôznymi variantami (tab. 5.1 na str. 206).
Vykonávateľnosť akcií (executability), statické pravidlá (static cauasal propositions). [Bar] kap. 5.2.
PDDL, rôzne ďalšie prístupy. [RN] kap. 10
Reprezentácia znalostí (operator odvodenia, nemonotonnost, reprezentácia znalostí). Toto sme priamo nehovorili na prednáške, ale môže byť zaujímavé pozrieť si. [Šef] kap. 1.2, Defaultové teórie, [Šef] kap. 4.1, stačí, čo je to def.t., extenzia, príp. normálna def.t.

Literatúra

[RN] Russell, Norvig: Artificial Intelligence: A Modern Approach
[Bar] Baral: Knowledge Representation, Reasoning and Declarative Problem Solving
[Šef] Šefránek: Inteligencia ako výpočet