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

8. First Order Logic

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:

xRxMxxRxMx

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