Skip to main content
Instytut Podstaw Informatyki PAN (baner)

Aktualności Instytutu Podstaw Informatyki PAN

20.08.2026 — seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych — godz. 12:00

Nijat Sadigov (London, UK)

Odnośnik do spotkania w MS Teams (nowe okno)

+ - SMT-Based Planning via Bounded Model Checking: Expressiveness, Scalability, and the Trade-off Between Formal Guarantees and Computational Cost Click to collapse

Streszczenie (autorskie):

Planning as satisfiability encodes a planning problem as a logical formula and delegates the search to a general-purpose solver — structurally analogous to bounded model checking for transition systems. This talk presents an implementation and systematic empirical evaluation of this paradigm using SMT and Bounded Model Checking. We encode a parameterised grid-world planning domain as a single SMT formula over the Z3 solver, extended with cost constraints over linear integer arithmetic, and benchmark it against Fast Downward configurations (A* with LM-cut, hmax, and LAMA) across five experimental axes. The results characterise a clear expressiveness-versus-scalability trade-off: SMT-based planning handles rich arithmetic constraints that heuristic search cannot natively represent, but pays a significant computational cost on pure classical planning tasks. We close by discussing when solver-based approaches are the right tool, and open questions motivating extensions to richer planning settings.

Więcej…20.08.2026 - Seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych

NCN przyznało finansowanie dla badań nad językiem kobiet i mężczyzn w fikcyjnych dialogach telewizyjnych

Narodowe Centrum Nauki przyznało finansowanie dla projektów 76 laureatek i laureatów znajdujących się na początku kariery naukowej w dziesiątej edycji konkursu SONATINA.

Wśród wyłonionych do finansowania wniosków znalazł się projekt dr Natalii Zawadzkiej-Paluektau, pt. Kobiety i mężczyźni na ekranie: porównawcze międzyjęzykowe badanie fikcyjnego języka telewizyjnego. W trakcie 3 letniego projektu zbadana będzie kluczowa rola dialogu w konstruowaniu norm dotyczących kobiecości i męskości. Podstawą tych badań będą zbiory fikcyjnych dialogów telewizyjnych w języku angielskim i polskim, dotychczas zebrane (dla języka angielskiego) oraz nowe (dla języka polskiego). Zbiory te zostaną podzielone na mniejsze, obejmujące dialogi tylko kobiet i tylko mężczyzn, które to zostaną ze sobą porównane do wykrycia istotnych różnic w języku postaci obu płci.

Szczegółowe wyniki konkursu SONATINA można znaleźć na stronie NCN.

Więcej…Finansowanie z NCN na badania nad językiem kobiet i mężczyzn w dialogach telewizyjnych

Zakończenie realizacji przedsięwzięcia DARIAH-PL finansowanego w ramach Krajowego Planu Odbudowy



W dniu 30 czerwca 2026 r. zakończona został realizacja przedsięwzięcia pt. "Cyfrowa Infrastruktura Badawcza dla Humanistyki i Nauk o Sztuce DARIAH-PL" ze wsparciem z planu rozwojowego w ramach inwestycji: A2.4.1 Inwestycje w rozbudowę potencjału badawczego Krajowego Planu Odbudowy i Zwiększenia Odporności. Przedsięwzięcie było realizowane w ramach wieloletniego planu pogłębiania współpracy przy budowie infrastruktury cyfrowej dla nauk humanistycznych i nauk o sztuce w Polsce.

Wartość ogółem przedsięwzięcia zgodnie z umową wynosiła 71.835.475,87 zł z czego 57.637.042,87 zł stanowi dofinansowanie z Krajowego Planu Odbudowy. Harmonogram przedsięwzięcia zakładał jego realizację od 1.04.2024 r. do 30.06.2026 r.

Przedsięwzięcie było realizowane przez zespół doświadczonych specjalistów, którzy posiadają szeroką wiedzę i doświadczenie w obszarze realizacji inwestycji w infrastrukturę badawczą w ramach projektowego konsorcjum 13 jednostek naukowych, w którego skład wchodzili:

  • Instytut Podstaw Informatyki PAN - Lider przedsięwzięcia,
  • Uniwersytet Warszawski,
  • Instytut Chemii Bioorganicznej PAN - Poznańskie Centrum Superkomputerowo-Sieciowe PCSS,
  • Instytut Badań Literackich PAN,
  • Instytut Języka Polskiego PAN,
  • Instytut Historii im. Tadeusza Manteuffla PAN,
  • Instytut Slawistyki Polskiej Akademii Nauk,
  • Instytut Sztuki PAN,
  • Politechnika Poznańska,
  • Politechnika Wrocławska,
  • Uniwersytet Marii Curie-Skłodowskiej w Lublinie,
  • Uniwersytet Wrocławski,
  • Uniwersytet im. Adama Mickiewicza w Poznaniu.

Więcej…Zakończenie realizacji przedsięwzięcia DARIAH-PL finansowanego w ramach Krajowego Planu Odbudowy

Start z polskim AI. Od pomysłu do wdrożenia # Instytut Podstaw Informatyki PAN [wywiad]

Źródło: PFR.pl; 24.06.2026

Start z polskim AI to cykl rozmów, którego celem jest przedstawienie doświadczeń związanych z polskimi modelami językowymi AI oraz praktykami firm i instytucji we wdrażaniu tych rozwiązań. Zapraszamy do rozmowy z dr inż. Łukaszem Kobylińskim z Instytutu Podstaw Informatyki PAN.

PFR: Na początek proszę opowiedzieć, czym zajmuje się Zespół Inżynierii Lingwistycznej w IPI PAN?

Dr Łukasz Kobyliński: Zespół Inżynierii Lingwistycznej, zgodnie ze swoją nazwą, od wielu lat zajmuje się przetwarzaniem języka naturalnego (Natural Language Processing, NLP). W ramach tej działalności rozwijamy metody, tworzymy zasoby językowe oraz budujemy narzędzia, które pozwalają komputerom analizować, rozumieć i generować język w sposób możliwie najbardziej zbliżony do ludzkiego.

Jako część Instytutu Podstaw Informatyki PAN prowadzimy również badania podstawowe, koncentrując się na opracowywaniu nowych metod i algorytmów. Jednocześnie tworzymy praktyczne rozwiązania, które znajdują zastosowanie w biznesie, administracji, środowisku naukowym oraz wśród użytkowników indywidualnych. Istotnym obszarem naszej działalności jest także tworzenie zasobów językowych. Są to między innymi korpusy tekstowe, słowniki oraz różnego rodzaju bazy wiedzy lingwistycznej. Takie zasoby służą zarówno badaczom, jak i systemom komputerowym uczącym się przetwarzania języka. Dzięki nim możliwe jest rozwijanie coraz bardziej zaawansowanych technologii językowych.

Zakres naszych prac jest bardzo szeroki. Kiedy mówimy o analizie tekstu przez komputer, może chodzić zarówno o automatyczne wydobywanie informacji, jak i o analizę gramatyczną czy składniową zdań. Zajmujemy się więc m.in. ekstrakcją informacji, przetwarzaniem semantycznym tekstów oraz lingwistyką korpusową, czyli badaniem języka na podstawie dużych zbiorów tekstów. Takie korpusy można przeszukiwać i analizować, co pozwala lepiej zrozumieć sposób funkcjonowania języka.

Więcej…Start z polskim AI. Od pomysłu do wdrożenia wywiad z Łukaszem Kobylińskim (PFR)

Więcej artykułów…

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