SylabUZ
| Course name | Decision Systems |
| Course ID | 06.0-WE-AEIT-SD |
| Faculty | Faculty of Computer Science, Electrical Engineering and Automatics |
| Field of study | Automatic control engineering and robotics, Electrotechnology, Computer science |
| Education profile | academic |
| Level of studies | PhD studies |
| Beginning semester | winter term 2016/2017 |
| Semester | 2 |
| ECTS credits to win | 2 |
| Course type | obligatory |
| Teaching language | polish |
| Author of syllabus |
|
| The class form | Hours per semester (full-time) | Hours per week (full-time) | Hours per semester (part-time) | Hours per week (part-time) | Form of assignment |
| Lecture | 15 | 1 | - | - | Exam |
- 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
| Outcome description | Outcome symbols | Methods of verification | The class form |
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
Modified by prof. dr hab. inż. Marcin Witczak (last modification: 30-09-2016 18:07)
