pokyny na vypracovanie, pridelenà riešitelia (pdf) - Hornad - TUKE
pokyny na vypracovanie, pridelenà riešitelia (pdf) - Hornad - TUKE
pokyny na vypracovanie, pridelenà riešitelia (pdf) - Hornad - TUKE
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Zadanie 2 z predmetu „Z<strong>na</strong>lostné systémy“, ZS 2004.<br />
A. znenia a <strong>pokyny</strong> <strong>na</strong> <strong>vypracovanie</strong> zadaní<br />
1. Implementácia jednoduchého produkčného systému.<br />
2. Implementácia algoritmu automatického dokazovania teorémov rezolučnou metódou pre výrokový<br />
počet.<br />
Cieľom zadania je vytvoriť modul pozostáva z dvoch častí:<br />
1. Java applet, implementujúci daný algoritmus. Bude pracovať v dvoch režimoch:<br />
1. automatický – celý výpočet prebehne <strong>na</strong>raz a zobrazia sa len výsledky. Výpočet sa spúšťa tklačidlom „Štart“.<br />
Musí byť možné stornovať vykonávanie algoritmu (tlačidlo „Zruš“).<br />
2. demonštračný – výpočet bude krokovaný a k jednotlivým krokom sa zobrazí komentár a medzivýsledky<br />
vhodnou grafickou formou. Ďalší krok sa vykoná po stlačení tlačidla „Ďalej“. Musí byť možné ukončiť<br />
výpočet ako v automatickom režime (tlačidlo „Ukonči“) a stornovať vykonávanie algoritmu (tlačidlo „Zruš“).<br />
Applet bude implementovaný s použitím komponentov užív. rozhrania Swing<br />
a má sa spúšťať v samostatnom okne.<br />
Bude obsahovať 3 hlavné časti:<br />
a. Vizualizácia výpočtu – okno v ktorom sa zobrazujú výsledky<br />
a medzivýsledky výpočtu vo vhodnej grafickej forme.<br />
b. Popis – okno v ktorom sa zobrazuje popis k jednotlivým krokom<br />
výpočtu<br />
c. Ovládacie prvky – tlačidlá pre ovládanie výpočtu (Štart, Ďalej, Zruš,<br />
Ukonči), <strong>na</strong>stavenia programu, atď.<br />
Vizualizácia výpočtu<br />
Popis výpočtu<br />
Ovládacie prvky<br />
Obr. Príklad ok<strong>na</strong> appletu<br />
2. Html stránky obsahujúce:<br />
a. úvodnú stránku modulu<br />
b. Teoretický popis - stránky s teoretickým popisom problematiky, ktorej sa modul venuje (pojmy, popis<br />
algoritmu). Teoretický popis bude vhodne rozdelený do kapitol a doplnený o obrázky.<br />
c. Aplikácia - z tejto stránky bude spúšťaný applet.<br />
d. Pomoc – používateľská príručka k aplikácii<br />
Dokumentáciu k zadaniu bude tvoriť používateľská a systémová príručka.<br />
Vzor: programové moduly umiestnené <strong>na</strong>: http://hor<strong>na</strong>d.fei.tuke.sk/~korecko/z<strong>na</strong>lostne/<br />
3. Tvorba programov v jazyku Prolog - Tutoriál<br />
4. Tvorba programov v jazyku Lisp - Tutoriál<br />
5. Nástroj pre automatické dokazovanie teorémov - Tutoriál<br />
6. Prázdne expertné systémy (CLIPS) - Tutoriál<br />
7. Tvorba z<strong>na</strong>lostných systémov - Tutoriál<br />
Cieľom zadania je vytvoriť návod pre prácu s vybraným nástrojom, ktorý bude obsahovať:<br />
- postup inštalácie nástroja<br />
- stručný popis použitia nástroja<br />
- návod <strong>na</strong> tvorbu programov/systémov v danom nástroji. Návod bude postavený <strong>na</strong> príkladoch – od úplne<br />
jednoduchých až po stredne zložité.<br />
Tutoriál bude realizovaný ako www stránka, vizuálne riešená ako stránky v programových moduloch <strong>na</strong><br />
http://hor<strong>na</strong>d.fei.tuke.sk/~korecko/z<strong>na</strong>lostne/, kde budú k stiahnutiu aj zdrojové texty príkladov.<br />
Tlačená dokumentácia bude obsahovať tutoriál bez zdrojových textov príkladov.
B. zoz<strong>na</strong>m riešiteľov – Zadanie 2, ZS, 2004<br />
1. Implementácia jednoduchého produkčného systému.<br />
Riešitelia: 1. R.Peťka 2. Z.Pósa<br />
3. M.Valigura 4. E.I.Vlassova<br />
5. M.Švantner<br />
2. Implementácia algoritmu automatického dokazovania teorémov rezolučnou metódou pre<br />
výrokový počet.<br />
Riešitelia: 1. M.Gergeľ 2. M.Kundráth<br />
3. M. Ivaničko 4. V. Jevčák<br />
5. J.Belas<br />
3. Tvorba programov v jazyku Prolog - Tutoriál<br />
Riešitelia: 1. S.Kaščák 2. R.Pištej<br />
4. Tvorba programov v jazyku Lisp - Tutoriál<br />
Riešitelia: 1. M.Hronský 2. L.Jagelka<br />
5. Nástroj pre automatické dokazovanie teorémov - Tutoriál<br />
Riešitelia: 1. P.Krišš 2. O.Pandoščák<br />
6. Prázdne expertné systémy (CLIPS) - Tutoriál<br />
Riešitelia: 1. P.Šterba 2. E.Trnková<br />
7. Tvorba z<strong>na</strong>lostných systémov - Tutoriál<br />
Riešitelia: 1. P.Gál 2. P.Demčák