Systemy decyzyjne 1000-1L00SD

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.