Propozycje tematów prac dyplomowych
na rok akademicki 2018/2019
STRONA GŁÓWNA
PRACE INŻYNIERSKIE
- Programowanie z ograniczeniami w języku Constraint Handling Rules.
Opis: przedstawić język Constraint
Handling Rules (CHR) jako narzędzie do programowania z ograniczeniami;
scharakteryzować jego realizację
w środowisku SWI Prolog; opracować zestaw przykładowych aplikacji ilustrujących
użyteczność języka CHR w wybranych obszarach zastosowań.
-
Prologowy system wnioskujący jako usługa sieciowa.
Opis: zaprojektować i skonstruować aplikację internetową, udostępniającą
użytkownikowi funkcjonalności danego (z góry) systemu wnioskującego, zrealizowanego
jako program w języku Prolog. Aplikację należy zaimplementować w środowisku
SWI-Prolog (How to create
a web service easily?, SWI-Prolog
HTTP support).
PRACE MAGISTERSKIE
- Analiza porównawcza wybranych programów rozwiązujących problem spełnialności.
Opis: w
pracy należy porównać ze sobą wybrane programy typu SAT solver. Należy
przeanalizować architekturę tych programów, wykorzystywane przez nie
algorytmy, a także przeprowadzić badania empiryczne, których celem jest
ocena efektywności rozpatrywanych programów w rozwiązywaniu różnych
wariantów problemu spełnialności.
-
Ocena użyteczności systemu BEE jako narzędzia do
programowania z ograniczeniami.
Opis: system
BEE (Ben-Gurion University equi-propagation encoder) jest kompilatorem
przekształcającym zbiór ograniczeń reprezentujących dany problem CSP
(ang. constraint satisfaction problem) w problem SAT, tj. problem
spełnialności. W pracy należy opisać architekturę systemu BEE ze
szczególnym uwzględnieniem algorytmu translacji problemu CSP na problem
SAT. Należy także przedstawić wyniki badań empirycznych, których celem
jest ocena efektywności rozpatrywanego ujęcia w rozwiązywaniu problemów
CSP.
Uwaga: ze względu na zmiany w planach
dydaktycznych wycofuję możliwość proponowania własnych tematów
prac dyplomowych.