Aktualności Instytutu Podstaw Informatyki PAN

31 stycznia b.r. w czasopiśmie IEEE Transactions on Reliability został opublikowany artykuł pracowników IPI PAN: prof. Wojciecha Penczka, dr Łukasza Maśko i mgr Teofila Sidoruka, napisany we współpracy z prof. Laure Petrucci, dr Carlosem Olarte i dr Jaime Ariasem z Université Sorbonne Paris Nord. Praca "Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models" stanowi kontynuację wcześniejszej linii badań [1], w której zaproponowano reprezentowanie drzew ataku/obrony (ADTrees) jako systemów wieloagentowych. ADTrees są popularnym formalizmem, pozwalającym na analizowanie scenariuszy bezpieczeństwa, w których dwie grupy agentów próbują albo wykonać podzadania (poszczególne węzły drzewa) składające się na główny cel (korzeń drzewa), albo dążą do uniemożliwienia tego przeciwnej grupie. Dzięki translacji do formalizmu wieloagentowego, możliwe staje się rozważanie tych dwóch grup jako koalicji, charakteryzujących się nie tylko pewną liczbą agentów, ale również konkretnym ich przydziałem do poszczególnych podzadań. To z kolei determinuje zarówno możliwość skutecznego ataku lub obrony przeciwko drugiej koalicji, ale także wpływa na rozważane cechy kwantytatywne, np. czas ataku/obrony lub związany z nimi koszt finansowy.

Dwóch naukowców Instytutu Podstaw Informatyki PAN otrzyma finansowanie z Narodowego Centrum Nauki w ramach konkursu OPUS 25 na badania podstawowe.

Wśród 176 wniosków zakwalifikowanych do finansowania znalazły się wnioski

• prof. Adama Przepiórkowskiego pt. "Koordynacja: symetryczna czy asymetryczna?" z grupy badań nad językoznawstwem, projekt najwyżej oceniony przez ekspertów w panelu dyscyplin HS2 - Kultura i twórczość kulturowa oraz,
• dra Dariusza Kalocińskiego, pt.: "Obliczalna teoria modeli i filozofia strukturalizmu matematycznego" z grupy badań nad logiką, filozofią nauki oraz teoretycznymi podstawami informatyki, oceniany w panelu HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości.

Zespół Analizy i Modelowania Statystycznego osiągnął istotne wyniki dotyczące dwóch nowych metod uczenia maszynowego dla danych z niepełną dostępnością etykiet (dane typu Positive Unlabeled) w istotnym dla zastosowań przypadku, gdy ich dostępność jest zależna od charakterystyk badanych jednostek. W pierwszej zaproponowanej metodzie badano nowy parametryczny model generacji tego typu danych i iteracyjną procedurę estymacji jego parametrów. Druga metoda bazuje na koncepcji wariacyjnych autoenkoderów w połączeniu z technikami wykrywania obserwacji odstających. Poza teoretycznym uzasadnieniem metod, pokazano eksperymentalnie istotnie lepszą jakość wynikowych klasyfikatorów dla danych tabularycznych i obrazowych.

Obie metody zostały przedstawione na międzynarodowej konferencji European Conference on Artificial Intelligence, ECAI 2023, która odbyła się w Krakowie w dniach 30.09-04.10.2023.

Instytut Podstaw Informatyki PAN – członek konsorcjum CLARIN-PL, części Europejskiej Infrastruktury Badawczej CLARIN (Common Language Resources and Technology Infrastructure), ogłasza konkurs na analizę danych parlamentarnych na bazie wielojęzycznego korpusu ParlaMint – zestawu wystąpień z parlamentów 26 krajów i regionów autonomicznych zapisanych we wspólnym formacie, opatrzonych anotacją lingwistyczną i dostępnych do pobrania i przeszukiwania. Obecne wydanie korpusu zawiera także tłumaczenia wystąpień na język angielski.

Szczegóły konkursu na stronie CLARIN-PL.