Skip to main content

Aktualności Instytutu Podstaw Informatyki PAN

Weryfikacja systemów wieloagentowych i autonomicznych w artykułach Zespołu Teorii Systemów Rozproszonych i Obliczeniowych na konferencji AAMAS 2024


Naukowcy z Zespołu Teorii Systemów Rozproszonych i Obliczeniowych IPI PAN opublikowali 4 artykuły na konferencji AAMAS 2024 w Auckland (Nowa Zelandia). AAMAS to największa i najbardziej prestiżowa konferencja w tematyce systemów wieloagentowych i autonomicznych, z rangą A* wg rankingu CORE i materiałami punktowanymi za 200 pkt. Artykuły, autorstwa Wojciecha Jamrogi, Mateusza Kamińskiego, Damiana Kurpiewskiego i Wojciecha Penczka, przedstawiają nowe wyniki związane z weryfikacją takich systemów. Dwa z artykułów koncentrują się na własnościach teoretycznych (złożoność obliczeniowa weryfikacji i siła wyrazu proponowanych języków specyfikacji). Pozostałe dwie prace prezentują najnowsze osiągnięcia w implementacji algorytmów weryfikacji w narzędziach STV i SMT4SMTL, rozwijanych przez Zespół. STV+KH zdobył miano Best Demo Award.

Więcej…Weryfikacja systemów wieloagentowych i autonomicznych w artykułach Zespołu Teorii Systemów...

Seminarium prezentujące Korpus Współczesnego Języka Polskiego, Dekada 2011−2020


25 kwietnia (w godz. 11:30–14:15, w IPI PAN, Jana Kazimierza 5 w Warszawie w sali 5 na parterze) odbędzie się seminarium prezentujące Korpus Współczesnego Języka Polskiego, Dekada 2011−2020 (https://kwjp.pl) powstały w projekcie Dariah.lab.

Projekt ma być zlokalizowany w Instytucie Podstaw Informatyki Polskiej Akademii Nauk w Zakładzie Sztucznej Inteligencji, który w swoich badaniach intensywnie wykorzystuje głębokie uczenie maszynowe do rozwiązywania szeregu problemów analizy danych. Gratulujemy laureatowi i życzymy owocnej pracy w nowo tworzonym zespole badawczym w IPI PAN.

Więcej…Seminarium prezentujące Korpus Współczesnego Języka Polskiego, Dekada 2011−2020

Polskie Powroty NAWA dla dra Andrzeja Lieberta w IPI PAN


Miło nam poinformować, że wniosek dra Andrzeja Lieberta znalazł się na liście wniosków zaakceptowanych do finansowania Polskie Powroty NAWA w naborze 2023. Istotą projektu będzie generacja sztucznych obrazów benchmarkowych MRI, które mają stanowić podstawę do detekcji anomalii związanych z rakiem piersi w obrazach rzeczywistych. Generacja ma opierać się o nowoczesne techniki generacji obrazów wykorzystujących głębokie sieci neuronowe, uczenie ze wzmocnieniem (reinforcement learning) i wnioskowanie kontradyktoryjne (sieci GAN; Generative Adversarial Networks).

Projekt ma być zlokalizowany w Instytucie Podstaw Informatyki Polskiej Akademii Nauk w Zakładzie Sztucznej Inteligencji, który w swoich badaniach intensywnie wykorzystuje głębokie uczenie maszynowe do rozwiązywania szeregu problemów analizy danych. Gratulujemy laureatowi i życzymy owocnej pracy w nowo tworzonym zespole badawczym w IPI PAN.

Więcej…Polskie Powroty NAWA dla dra Andrzeja Lieberta w IPI PAN

Warsztat „Analiza danych parlamentarnych” w Sejmie RP




29 lutego 2024 r. odbył się w Sejmie RP zorganizowany przez Instytut Podstaw Informatyki PAN warsztat naukowy „Analiza danych parlamentarnych”, który stanowił podsumowanie zorganizowanego na jesieni ubiegłego roku konkursu na analizę stenogramów Sejmu i Senatu. Celem konkursu, adresowanego do studentów, doktorantów i młodych naukowców, było stworzenie oryginalnego opracowania ciekawego problemu badawczego z dowolnej dyscypliny nauki.

Korpus Dyskursu Parlamentarnego i korpus ParlaMint

Wydarzenie rozpoczęło wystąpienie prof. Macieja Ogrodniczuka z Instytutu Podstaw Informatyki PAN, który zaprezentował dwa wykorzystywane w konkursie zbiory danych parlamentarnych. Najważniejszym z nich jest polskojęzyczny Korpus Dyskursu Parlamentarnego (KDP), liczący ponad 800 mln słów zestaw stenogramów z posiedzeń plenarnych, sprawozdań z posiedzeń komisji oraz interpelacji, zapytań i odpowiedzi od roku 1919 aż do dnia dzisiejszego. Jego współczesną część (od roku 2015) zawiera natomiast wielojęzyczny korpus ParlaMint, gromadzący podobne dane z parlamentów prawie wszystkich krajów europejskich, a także ich tłumaczenia na język angielski.

Dane wykorzystywane w konkursie są dostępne bezpłatnie dla wszystkich. Co ważne – żeby z nich korzystać, nie trzeba umieć programować. Zarówno KDP, jak i ParlaMint zostały udostępnione w sieci w prostych w obsłudze interfejsach.

Więcej…Warsztat „Analiza danych parlamentarnych” w Sejmie RP

Nowa publikacja w IEEE Transactions on Reliability




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.

Więcej…Nowa publikacja w IEEE Transactions on Reliability


© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności