Návrh príkladov na cvičenia zo ZUI 1

Návrh príkladov na cvičenia zo ZUI 1 Bakalárska práca Adam Hlavačka

Úvod • Cvičenia musia byť v súlade s prednáškami • Väčšinou teoretické nakoľko skúška z predmetu je písomná / teoretická • Snaha pripraviť študentov na skúšku • Ja sám som absolvoval 3 termíny skúšky • Pozbierané materiály / zadania skúšok

1. Turingov stroj (simulátor) • Alan Turing – priekopník nielen v oblasti umelej inteligencie • Tvorca Turingovho stroja a Turingovho testu • Zoznámenie sa s Turingovým strojom • Súčasť prednášok

2. PEAS, typy prostredí, agenti • Doplniť PEAS tabuľku • Doplniť vlastnosti prostredia do tabuľky • Rozhodnúť o aký typ agenta sa jedná • Vymyslieť príklady na jednotlivé typy agentov • Navrhnúť model v prípade „model-based agenta“

3. Prehľadávanie • Túto časť som ešte nevyriešil... • Nápady sú vítané 

4. Heuristiky • Príklady na rôzne úlohy, ktorým nebude treba nájsť riešenie, ale nájsť vhodnú heuristiku, pomocou ktorej by sme (optimálne) riešenie našli. • Napr. problém obchodného cestujúceho, vzdialenosť miest, 8-hlavolam, rovnoramenné váhy, ...

5. CSP • Naprogramovať v Delphi a/alebo v Jave problém 8 dám pomocou backtrackingu

6. Hry • Algoritmy minimax a  -  orezávanie • Pravdepodobne príklady na precvičenie týchto algoritmov, zobrazenie pomocou stromov

7. Logickí agenti • Pravdepodobne naprogramovať KB v nejakom jazyku, do úvahy pripadá aj Jess • Príklady na precvičenie výrokovej logiky, normálových foriem (CNF), resolvencia, DPLL algoritmus

Teoretická prednáška => teoretické cvičenie Príklad: V každom meste je radnica alebo v niektorých mestách radnica nie je. Riešenie: 8. First Order Logic

9. Firts Order Logic (2) • Taktiež teoretická prednáška • Zovšeobecnený modus ponens, dopredné a spätné zreťazenie, unifikácia, skolemizácia

10. Plánovanie • Znova teoretická prednáška • STRIPS • Partial Order Plan (POP) • Total Order Plan (TOP) • Frame Problem

Návrh príkladov na cvičenia zo ZUI 1