Státnice na FI MUNI mgr-szz:in-umi-ai http://statnice.dqd.cz/ 2026-06-02T14:47:58+0200 Státnice na FI MUNI http://statnice.dqd.cz/ http://statnice.dqd.cz/lib/tpl/dokubook/images/favicon.ico text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-umi-ai:1-ai http://statnice.dqd.cz/mgr-szz:in-umi-ai:1-ai?rev=1586703418 Zadanie Syntaxe a sémantika výrokové a predikátové logiky: Rezoluční metoda v predikátové logice. Lineární rezoluce a Hornovy klauzule, SLD-rezoluce a logické programování. Tablové důkazy. Deduktivní metody v modální logice. Induktivní inference. Specializační operátory a problém odvození modelu. Nemonotonní odvozování. Logika a reprezentace znalostí. text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-umi-ai:2-ai http://statnice.dqd.cz/mgr-szz:in-umi-ai:2-ai?rev=1586703418 Zadanie Složitost a řešení těžkých problémů: Struktura a vlastnosti časových složitostních tříd. Aproximativní, randomizované a heuristické přistupy. Složitost některých úloh v umělé inteligenci. Dekompozice problému. Statistické metody a vyhodnocování experimentů.