SylabUZ
Nazwa przedmiotu | Systemy decyzyjne |
Kod przedmiotu | 06.0-WE-AEIT-SD |
Wydział | Wydział Informatyki, Elektrotechniki i Automatyki |
Kierunek | Automatyka i robotyka, Elektrotechnika, Informatyka |
Profil | ogólnoakademicki |
Rodzaj studiów | doktoranckie |
Semestr rozpoczęcia | semestr zimowy 2018/2019 |
Semestr | 2 |
Liczba punktów ECTS do zdobycia | 2 |
Typ przedmiotu | obowiązkowy |
Język nauczania | polski |
Sylabus opracował |
|
Forma zajęć | Liczba godzin w semestrze (stacjonarne) | Liczba godzin w tygodniu (stacjonarne) | Liczba godzin w semestrze (niestacjonarne) | Liczba godzin w tygodniu (niestacjonarne) | Forma zaliczenia |
Wykład | 15 | 1 | - | - | Egzamin |
- zapoznanie doktorantów z systemami decyzyjnymi i aparatem matematycznym w nich wykorzystywanym.
- ukształtowanie umiejętności w zakresie specyfikacji i analizy systemów decyzyjnych
Wiedza w zakresie teorii grafów oraz logiki formalnej
1.Reprezentacje wiedzy deklaratywnej. Specyfikacja systemów decyzyjnych: symboliczne systemy regułowe, tablice decyzyjne, grafy decyzyjne. Równoważność różnorodnych form specyfikacji systemów decyzyjnych. 2.Systemy regułowe i ich reprezentacja formalna w języku logiki matematycznej. 3. Grafy decyzyjne: ogólna postać grafów decyzyjnych, binarne grafy decyzyjne. 4. Analiza i redukcja rozmiarów tablic decyzyjnych. Klasyczne komputerowe metody redukcji tablic decyzyjnych. 5 .Wnioskowanie komputerowe i jego rola w analizie tablic decyzyjnych. 6. Przykłady praktyczne specyfikacji i analizy prostych systemów decyzyjnych
wykład: wykład problemowy, wykład konwencjonalny
Opis efektu | Symbole efektów | Metody weryfikacji | Forma zajęć |
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych co najmniej raz w semestrze oraz uzyskanie pozytywnej oceny z egzaminu
Leszek Rutkowski: Metody i techniki sztucznej inteligencji. Wydawnictwo Naukowe PWN, Warszawa 2005
Mordechai Ben-Ari: Logika matematyczna w informatyce. Wydawnictwa naukowo-Techniczne, Warszawa,2005
Antoni Ligęza: Logical Foundations for Rule –Based Systems. Uczelniane Wydawnictwa Naukowo-Dydaktyczne Akademii Górniczo-Hutniczej w Krakowie, Kraków 2006
Zbigniew Pawlak : Rough Sets – Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishers, Dordrecht 1991.
Wiesław Traczyk: Inżynieria Wiedzy. Akademicka Oficyna Wydawnicza EXIT, Warszawa 2010
Zmodyfikowane przez prof. dr hab. inż. Marcin Witczak (ostatnia modyfikacja: 27-03-2018 12:08)