pokyny na vypracovanie, pridelení riešitelia (pdf) - Hornad - TUKE

Zadanie 2 z predmetu „Znalostné systémy“, ZS 2004.
A. znenia a pokyny na vypracovanie zadaní
1. Implementácia jednoduchého produkčného systému.
2. Implementácia algoritmu automatického dokazovania teorémov rezolučnou metódou pre výrokový
počet.
Cieľom zadania je vytvoriť modul pozostáva z dvoch častí:
1. Java applet, implementujúci daný algoritmus. Bude pracovať v dvoch režimoch:
1. automatický – celý výpočet prebehne naraz a zobrazia sa len výsledky. Výpočet sa spúšťa tklačidlom „Štart“.
Musí byť možné stornovať vykonávanie algoritmu (tlačidlo „Zruš“).
2. demonštračný – výpočet bude krokovaný a k jednotlivým krokom sa zobrazí komentár a medzivýsledky
vhodnou grafickou formou. Ďalší krok sa vykoná po stlačení tlačidla „Ďalej“. Musí byť možné ukončiť
výpočet ako v automatickom režime (tlačidlo „Ukonči“) a stornovať vykonávanie algoritmu (tlačidlo „Zruš“).
Applet bude implementovaný s použitím komponentov užív. rozhrania Swing
a má sa spúšťať v samostatnom okne.
Bude obsahovať 3 hlavné časti:
a. Vizualizácia výpočtu – okno v ktorom sa zobrazujú výsledky
a medzivýsledky výpočtu vo vhodnej grafickej forme.
b. Popis – okno v ktorom sa zobrazuje popis k jednotlivým krokom
výpočtu
c. Ovládacie prvky – tlačidlá pre ovládanie výpočtu (Štart, Ďalej, Zruš,
Ukonči), nastavenia programu, atď.
Vizualizácia výpočtu
Popis výpočtu
Ovládacie prvky
Obr. Príklad okna appletu
2. Html stránky obsahujúce:
a. úvodnú stránku modulu
b. Teoretický popis - stránky s teoretickým popisom problematiky, ktorej sa modul venuje (pojmy, popis
algoritmu). Teoretický popis bude vhodne rozdelený do kapitol a doplnený o obrázky.
c. Aplikácia - z tejto stránky bude spúšťaný applet.
d. Pomoc – používateľská príručka k aplikácii
Dokumentáciu k zadaniu bude tvoriť používateľská a systémová príručka.
Vzor: programové moduly umiestnené na: http://hornad.fei.tuke.sk/~korecko/znalostne/
3. Tvorba programov v jazyku Prolog - Tutoriál
4. Tvorba programov v jazyku Lisp - Tutoriál
5. Nástroj pre automatické dokazovanie teorémov - Tutoriál
6. Prázdne expertné systémy (CLIPS) - Tutoriál
7. Tvorba znalostných systémov - Tutoriál
Cieľom zadania je vytvoriť návod pre prácu s vybraným nástrojom, ktorý bude obsahovať:
- postup inštalácie nástroja
- stručný popis použitia nástroja
- návod na tvorbu programov/systémov v danom nástroji. Návod bude postavený na príkladoch – od úplne
jednoduchých až po stredne zložité.
Tutoriál bude realizovaný ako www stránka, vizuálne riešená ako stránky v programových moduloch na
http://hornad.fei.tuke.sk/~korecko/znalostne/, kde budú k stiahnutiu aj zdrojové texty príkladov.
Tlačená dokumentácia bude obsahovať tutoriál bez zdrojových textov príkladov.

B. zoznam riešiteľov – Zadanie 2, ZS, 2004
1. Implementácia jednoduchého produkčného systému.
Riešitelia: 1. R.Peťka 2. Z.Pósa
3. M.Valigura 4. E.I.Vlassova
5. M.Švantner
2. Implementácia algoritmu automatického dokazovania teorémov rezolučnou metódou pre
výrokový počet.
Riešitelia: 1. M.Gergeľ 2. M.Kundráth
3. M. Ivaničko 4. V. Jevčák
5. J.Belas
3. Tvorba programov v jazyku Prolog - Tutoriál
Riešitelia: 1. S.Kaščák 2. R.Pištej
4. Tvorba programov v jazyku Lisp - Tutoriál
Riešitelia: 1. M.Hronský 2. L.Jagelka
5. Nástroj pre automatické dokazovanie teorémov - Tutoriál
Riešitelia: 1. P.Krišš 2. O.Pandoščák
6. Prázdne expertné systémy (CLIPS) - Tutoriál
Riešitelia: 1. P.Šterba 2. E.Trnková
7. Tvorba znalostných systémov - Tutoriál
Riešitelia: 1. P.Gál 2. P.Demčák