Z przyjemnością informujemy, że dwie pracownicy Instytutu Informatyki Uniwersytetu Opolskiego – dr hab. Barbara Morawska, prof. UO oraz dr hab. Lidia Tendera, prof. UO – zostały laureatkami prestiżowego konkursu OPUS 29 Narodowego Centrum Nauki.
Konkurs OPUS 29 jest jednym z flagowych konkursów NCN na projekty badawcze z zakresu badań podstawowych, skierowanym do naukowców na wszystkich etapach kariery naukowej. Projekty mogą trwać od 12 do 48 miesięcy, a w ramach konkursu możliwe jest m.in. finansowanie badań prowadzonych we współpracy międzynarodowej oraz z wykorzystaniem dużych infrastruktur badawczych. Łączny budżet konkursu wynosi 550 mln zł.(ncn.gov.pl)
Projekt kierowany przez dr hab. Barbarę Morawską, prof. UO (nr 2025/57/B/ST6/04535) dotyczy logik deskrypcyjnych i ich powiązań z odpowiednimi grami logicznymi. Logiki deskrypcyjne stanowią dziś jedno z kluczowych narzędzi reprezentacji wiedzy wykorzystywanych m.in. w dużych ontologiach medycznych i systemach typu Ontology-Based Data Access. Celem projektu jest rozwój metod wnioskowania – w szczególności dotyczących subsumpcji i unifikacji pojęć – w wybranych fragmentach logik deskrypcyjnych, z uwzględnieniem złożoności obliczeniowej tych problemów oraz ich powiązań z grami ze stosem.
Z kolei projekt dr hab. Lidii Tendery, prof. UO (nr 2025/57/B/ST6/04170), zatytułowany „Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia”, wpisuje się w obszar logiki epistemicznej, badającej formalne modele wiedzy i niewiedzy agentów (np. ludzi, programów czy robotów). Punktem wyjścia jest klasyczna zagadka „ubłoconych czoł” i związane z nią rozumowania o stanie wiedzy wielu agentów. Projekt ma na celu opracowanie nowego, przekonującego formalizmu tzw. operatora „tylko-wiedzenia”, łączącego dotychczasowe podejścia oraz pozwalającego lepiej modelować rozproszone systemy wiedzy w czasie.
Uzyskanie dwóch grantów OPUS 29 w dyscyplinie informatyka przez badaczki z naszego Instytutu jest ważnym sukcesem środowiska naukowego Uniwersytetu Opolskiego. Stanowi to potwierdzenie wysokiej jakości prowadzonych u nas badań z zakresu logiki w informatyce teoretycznej oraz jej zastosowań w reprezentacji wiedzy i systemach wieloagentowych.
Serdecznie gratulujemy Paniom Profesor uzyskania finansowania w tak konkurencyjnym konkursie i życzymy powodzenia w realizacji projektów, które wnoszą istotny wkład w rozwój współczesnej informatyki teoretycznej.