| Opis zakresu działań | 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. |
|---|
Basiura ArturWydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejKatedra Informatyki Stosowanej