Kotulski Leszek, prof. dr hab.

Lider: Kotulski Leszek

Opis zagadnień badawczych zespołu Zastosowanie metod formalnych do wspomagania przybliżonych obliczeń w celu zapewnienia nieprecyzyjnych, ale użytecznych rozwiązań złożonych problemów obliczeniowych. Rozwój teorii grafów, ze szczególnym uwzględnieniem kooperacji różnych gramatyk grafowych i ich zastosowania rozwiązaniach informatycznych. Zrównoleglenie obliczeń dzięki rozwojowi autorskich koncepcji grafów komplementarnych (ComplementaryGraphs) oraz grafów ciętych (SlashedGraphs) na bazie koncepcji systemów wieloagentowych. Powiązanie metod grafowych z innymi metodami sztucznej inteligencji. Zastosowanie powyższych zagadnień w praktyce, w tym do: projektowania i optymalizacji oświetlenia ulicznego, analizy schematów bezpieczeństwa danych i informacji, zarządzania energią i planowania wytwarzania oraz zużycia, reprezentacji złożonych środowisk, w tym problemów architektonicznych celem skutecznego wnioskowania i identyfikacji nowej wiedzy. Celem komercjalizacji wyników badań zespołu w 2014 roku została powołana (z udziałem AGH oraz KIC InnoEnergy) GRADIS sp. z o.o. (http://gradis.pl).Z sukcesem wdrożyła ona wspomniane koncepcje we wspomaganym przez sztuczną inteligencję projektowaniu oświetlenia zewnętrznego w Tbilisi, Gruzja (96 tys. punków świetlnych), Waszyngtonie (54 tys. punktów świetlnych), oraz kilkudziesięciu projektów krajowych.