Systemy decyzyjne

Proseminarium jest wprowadzeniem w tematykę aproksymacyjnego konstruowania pojęć dla celów automatycznego wspomagania procesów decyzyjnych. Tematyka ta wiąże się z wieloma działami matematyki oraz z zaawansowanymi metodami informatyki związanymi z poszukiwaniem aproksymacyjnych rozwiązań złożonych problemów. Przewiduje się, że uczestnicy proseminarium będą realizować projekt zespołowy obejmujący opracowanie metod i ich komputerową weryfikację dla pewnego wybranego problemu decyzyjnego.

Przewidywana tematyka proseminarium:

- Metody konstruowania aproksymacji pojęć (klasyfikatorów) w oparciu o zbiory przybliżone, zbiory rozmyte, sieci neuronowe i algorytmy ewolucyjne.

- Wnioskowanie boolowskie na formułach zdaniowych i jego zastosowania.

- Problem SAT (spełnialności formuł) i jego zastosowania w eksploracji danych, planowaniu i optymalizacji.

- Złożoność obliczeniowa problemu SAT.

- Związki problemu SAT z fizyką statystyczną

- Aproksymacyjne wnioskowanie boolowskie..

- Zasada minimalnego opisu: metoda składowych głównych i lokalnychg składowych głównych.

- Metody kompresji danych.

- Konstruowanie adaptacyjnych systemów decyzyjnych.

- Adaptacyjne systemy decyzyjne.

- Wnioskowania czasowe i przestrzenne.

- Wykrywanie cech istotnych dla obiektów strukturalnych.

- Wykrywanie wzorców zmiennych w czasie.

Student jest w stanie zgromadzić materiały do wybranego zagadnienia, opracować je i utrwalić w postaci pracy dyplomowej (licencjackiej).