Gwałtownemu rozwojowi dziedziny sztucznej inteligencji towarzyszy
równie gwałtowny wzrost oporu wobec niej. Przyczyną są tu coraz
bardziej dominujące algorytmy o rosnącej złożoności, coraz częściej
typu „czarnej skrzynki”, których wyniki stają się coraz trudniejsze do
zrozumienia dla użytkowników. Firmy i przemysł domagają się
uzasadnień decyzji sugerowanych przez systemy AI. To oczekiwanie
klientów systemów AI doprowadziło do rozwoju gałęzi AI zwanej
„sztuczną inteligencją dającą się wyjaśnić” (XAI).
Do metod "czarnoskrzynkowych" w obszarze metod analizy skupień należą
m.in. metody tzw. Grafowej Analizy Spektralnej (GSA). W niniejszym
referacie przedstawimy wyniki prac prowadzonych przez ZPSI IPI PAN
ukierunkowanych na XAI dla GSA. Kładliśmy szczególny nacisk na
tzw. wyjaśnialność przyczynową dla analizy skupień dokumentów
tekstowych. Trzy kierunki naszych prac obejmują:
klasyczne zastosowania GSC - w przestrzeni wektorów własnych laplasjanów macierzy podobieństwa,
nowatorskie użycie GSC - w przestrzeni spektrów wartości własnych,
Podczas wystąpienia zaprezentujemy zbudowany przez nas korpus Targum oraz wstępne badania nad możliwością ilościowego ujęcia indywidualnego wpływu tłumacza na tworzony przez niego przekład (interwencji translatorskiej). W pierwszej części przedstawimy sam korpus – zbiór 651 przekładów Nowego Testamentu w pięciu językach: polskim, angielskim, francuskim, włoskim i hiszpańskim. Głównym założeniem przy tworzeniu korpusu nie jest zgromadzenie przekładów w jak największej liczbie języków, lecz możliwie najgłębsze odwzorowanie historii przekładu Nowego Testamentu w każdym z nich – od XVI wieku po wersje współczesne. Omówimy strukturę korpusu – teksty i metadane – oraz proces jego tworzenia, a także możliwości analizy ilościowej przekładu, jakie otwiera ten zasób. W drugiej części pokażemy jedno z takich zastosowań: metodę pomiaru interwencji tłumacza, w której przekład interlinearny pełni rolę neutralnego punktu odniesienia. Interwencję tłumacza definiujemy jako różnicę między reprezentacjami wektorowymi przekładu literackiego i jego interlinearnego odpowiednika. Przedstawimy wstępne wyniki wskazujące, że metoda ta pozwala uporządkować przekłady na osi od najbardziej dosłownych, przez dynamiczne, aż po parafrazy.
Rada Naukowa Instytutu Podstaw Informatyki PAN uprzejmie zawiadamia, że publiczna obrona rozprawy doktorskiej
mgr. inż. Damiana Kurpiewskiego
pt. E-voting, Card Games, and Drone Teams: Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information
(dziedzina nauk inżynieryjno-technicznych, dyscyplina: informatyka techniczna i telekomunikacja),
która odbędzie się w dniu w trybie hybrydowym, w siedzibie Instytutu Podstaw Informatyki PAN w Warszawie przy ul. Jana Kazimierza 5 w sali nr 12 na parterze oraz w formie wideokonferencji.
Instytut Podstaw Informatyki Polskiej Akademii Nauk
zatrudni osobę na stanowisko
Specjalista ds. Zamówień Publicznych
Zakres zlecanych zadań:
przygotowywanie dokumentacji postępowań o udzielenie zamówień publicznych (m.in. specyfikacji warunków zamówienia oraz treści ogłoszeń),
udzielanie pracownikom jednostek merytorycznych wyjaśnień lub porad przy opracowywaniu opisu przedmiotu zamówienia lub ustalaniu wartości szacunkowej zamówienia,
udzielanie zamawiającemu wyjaśnień lub porad przy wyborze trybu postępowania,
przygotowywanie i publikacja w oficjalnych publikatorach (BZP i DU UE) ogłoszeń zgodnie z wymogami ustawy Pzp,
udział w charakterze sekretarza w pracach komisji przetargowej i czuwanie nad prawidłowością przebiegu postępowania,
przekazywanie wymaganych ustawą Pzp informacji do Prezesa Urzędu Zamówień Publicznych dotyczących prowadzonych postępowań,
prowadzenie obsługi procedur przetargowych,
przygotowywanie protokołów z przeprowadzanych procedur przetargowych,
publikowanie i aktualizacja planu postępowań o udzielenie zamówień,
samodzielna obsługa platform zakupowych, w szczególności Marketplanet.