Zespół Metod i Systemów Wspomagania Decyzji - Decision suppOrt systeMs and mEthods (DOME) group

Grupa Dome zajmuje się rozwojem i budową systemów wspomagania decyzji z wykorzystaniem zarówno logiki abstrakcyjnej i temporalnej, jak i klasycznych metod podejmowania decyzji. Nasze zainteresowania badawcze obejmują: wielokryterialne metody podejmowania decyzji, porównania parami, systemy reguł, logikę czasową, inżynierię oprogramowania. Jesteśmy zaangażowani w badania związane z konstrukcja systemów wspomagania podejmowania decyzji oraz inteligentnego miasta.

Skład Zespołu

Konrad_Kulakowski AGH

Konrad Kułakowski

dr hab., prof. AGH

Konrad Kułakowski uzyskał stopnie doktora i doktora habilitowanego w Akademii Górniczo-Hutniczej w Krakowie. Pracuje w Katedrze Informatyki Stosowanej na Wydziale Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej AGH. Jego zainteresowania badawcze obejmują podejmowanie decyzji, systemy wspomagania decyzji,porównania parami, inteligentną robotykę, systemy agentowe oraz algorytmy równoległe i programowanie równoległe.

Przykładowe publikacje:
Konrad Kułakowski (2020) Understanding The Analytic Hierarchy Process. Chapman & Hall, Taylor and Francis Group.
Konrad Kułakowski (2018) Inconsistency in the ordinal pairwise comparisons method with and without ties. European Journal of Operational Research 270 (1) pp. 314 - 327.
K. Kułakowski (2015) Notes on Order Preservation and Consistency in AHP. European Journal of Operational Research 245 (1) pp. 333–337. Elsevier.
K. Kułakowski (2014) Heuristic Rating Estimation Approach to The Pairwise Comparisons Method. Fundamenta Informaticae 133 pp. 367-386.

Radoslaw_Klimek AGH

Radosław Klimek

dr hab. inż., prof. AGH

Radosław Klimek uzyskał stopnie doktora i doktora habilitowanego w Akademii Górniczo-Hutniczej w Krakowie. Obecnie pracuje w Katedrze Informatyki Stosowanej na Wydziale Elektrotechniki, Automatyki,Informatyki i Inżynierii Biomedycznej AGH. Jest także kierownikiem dwusemestralnych studiów podyplomowych z zakresu inżynierii oprogramowania. Jego zainteresowania badawcze obejmują inżynierię oprogramowania wspomaganą przez sztuczną inteligencję, modelowanie i weryfikację zachowania systemów, metody formalne, logiki temporalne i automatyczne wnioskowanie, a także analizę procesów, przepływów pracy i dzienników zdarzeń. Zajmuje się również systemami i agentami wykorzystującymi duże modele językowe, w szczególności zagadnieniami ich modelowania, wiarygodności i weryfikacji. Drugi obszar jego zainteresowań obejmuje inteligentne środowiska i systemy kontekstowe, Ambient Intelligence, systemy wieloagentowe oraz pervasive and ubiquitous computing.

Przykładowe publikacje:
Radosław Klimek (2026), Reasoning Scaffolds for AI-Assisted Behavioural Modelling: A Logical-Square Instantiation, MODELS 2026.
Radosław Klimek, Jakub Błażowski (2026), Towards Diagnostic Explainability in Workflow Verification via Shapley Attribution, ASE 2026.
Radosław Klimek (2026), What Fails in Empirical SE and AI4SE? A Study of Evaluation Fragility, ICSME 2026.
Radosław Klimek (2024), Ambient-Aware Continuous Aid for Mountain Rescue Activities, Information Sciences, 653.

default-avatar

Bernadetta Stachura-Terlecka

mgr inż.

Bernadetta Stachura-Terlecka jest informatyczką, badaczką oraz asystentką w Katedrze Informatyki i Sztucznej Inteligencji Akademii Górniczo-Hutniczej w Krakowie. Jej działalność naukowa ma charakter interdyscyplinarny i koncentruje się na wykorzystaniu metod informatycznych, analizy danych oraz sztucznej inteligencji do badania i modelowania złożonych zjawisk społecznych, przestrzennych i związanych z bezpieczeństwem.
Jej zainteresowania badawcze obejmują modelowanie złożonych zjawisk przestrzennych, automaty komórkowe, inżynierię wiedzy, eksplorację procesów, sztuczną inteligencję, informatykę śledczą oraz analizę danych cyfrowych. Szczególne miejsce w jej działalności zajmuje tworzenie modeli i metod pozwalających opisywać złożone procesy zachodzące na styku technologii, bezpieczeństwa i funkcjonowania człowieka.
Jest autorką i współautorką prac dotyczących m.in. wielowarstwowych modeli konfliktów przestrzennych, modelowania epidemii z wykorzystaniem automatów komórkowych, eksploracji procesów oraz reprezentacji wiedzy. W najnowszych badaniach rozwija wielowarstwowe modele łączące dynamikę społeczną, infrastrukturę i uwarunkowania przestrzenne, wskazując ich potencjalne zastosowania w bezpieczeństwie wewnętrznym, zarządzaniu kryzysowym, analizie zagrożeń oraz planowaniu przestrzennym.
Istotnym obszarem jej działalności badawczej jest również informatyka śledcza. Zajmuje się zagadnieniami związanymi z komputerową i mobilną analizą śledczą, OSINT, analizą artefaktów cyfrowych, steganografią oraz wykorzystaniem sztucznej inteligencji w procesach związanych z cyfrowym materiałem dowodowym. Szczególnie interesują ją problemy integralności, wiarygodności i odpowiedzialnego przetwarzania dowodów cyfrowych, a także modelowanie procesów związanych z cyfrowym łańcuchem dowodowym i wspomaganiem analizy śledczej za pomocą metod sztucznej inteligencji.
Ukończyła studia z informatyki ze specjalizacją obejmującą bezpieczeństwo i eksplorację danych elektronicznych, a także studia z zakresu bezpieczeństwa wewnętrznego. Działalność badawczą w AGH rozpoczęła jako doktorantka w dyscyplinie informatyka, rozwijając badania pod kierunkiem prof. dr hab. inż. Antoniego Ligęzy.
Równolegle rozwija kompetencje w zakresie psychologii. Studiuje psychologię ze specjalnością neuropsychologiczną oraz poszerza wykształcenie na studiach podyplomowych z obszaru psychologii. W tym nurcie szczególnie interesuje ją wykorzystanie metod analizy danych i sztucznej inteligencji we wspomaganiu indywidualizacji procesów edukacyjnych i terapeutycznych, w tym tworzenie systemów wspierających dobór i planowanie zindywidualizowanych oddziaływań dostosowanych do potrzeb konkretnej osoby.
W swojej działalności naukowej łączy informatykę, sztuczną inteligencję, bezpieczeństwo, informatykę śledczą oraz nauki o człowieku. Szczególnie interesują ją zagadnienia, w których metody obliczeniowe i analityczne mogą wspierać zarówno rozumienie złożonych procesów, jak i podejmowanie decyzji w obszarach bezpieczeństwa, analizy śledczej oraz indywidualizacji działań edukacyjnych i terapeutycznych.

default-avatar

Kamil Pustelnik

Kamil Pustelnik jest związany z Akademią Górniczo-Hutniczą w Krakowie, gdzie działa w Katedrze Informatyki i Sztucznej Inteligencji na Wydziale Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej. Jego zainteresowania obejmują metody wspomagania decyzji, sztuczną inteligencję oraz systemy wieloagentowe.
Współtworzy rozwiązania z obszaru podejmowania decyzji, symulacji oraz IoT. Brał udział w kilku konferencjach naukowych poświęconych między innymi wielokryterialnemu wspomaganiu decyzji i ocenie grupowej a także przetwarzaniu równoległemu i matematyce stosowanej. Równolegle rozwija projekty programistyczne i narzędzia open source, publikowane m.in. na GitHubie.