Propozycje tematów prac dyplomowych

na rok akademicki 2018/2019

STRONA GŁÓWNA


PRACE INŻYNIERSKIE
  1. Programowanie z ograniczeniami w języku Constraint Handling Rules.

  2. 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ń.
     
  3. Prologowy system wnioskujący jako usługa sieciowa.

  4. 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
  1. Analiza porównawcza wybranych programów rozwiązujących problem spełnialności.

  2. 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.
     
  3. Ocena użyteczności systemu BEE jako narzędzia do programowania z ograniczeniami.

  4. 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