16 marca 2026 18:24
Trzy publikacje na AAAI 2026
Trzy publikacje autorów związanych z Instytutem Informatyki Uniwersytet Wrocławski zostały zaprezentowane na AAAI 2026.
AAAI Conference on Artificial Intelligence to renomowana konferencja z zakresu informatyki i AI (A* w rankingu core, 200 pkt.), której tegoroczna edycja odbyła się w Singapurze.
Praca Probing EFX via PMMS: (Non-)Existence Results in Discrete Fair Division autorstwa Jarosław Byrki (II UWr), Franciszka Malinki (II UWr) oraz Tomasza Ponitki (Tel Aviv University) dotyczyła problemu sprawiedliwego podziału dóbr. Dostępne jest nagranie prezentacji pracy.
Rozdzielenie zbioru dóbr pomiędzy zbiór agentów jest bardzo trudnym i nieoczywistym problemem z wielu względów. Po pierwsze, każdy agent ma swoją własną opinię o tym, ile każdy przedmiot jest wart. Po drugie nie jest jasne, co dokładnie znaczy, że podział miałby być sprawiedliwy. Nawet jeżeli ustalimy jakąś definicję sprawiedliwości, to nie jest jasne, czy taki podział zawsze da się uzyskać. W naszej pracy rozważaliśmy kilka możliwych definicji sprawiedliwości, PMMS oraz EFX, często pojawiających się w literaturze. Udało nam się pokazać, że w ogólności nie zawsze da się znaleźć sprawiedliwy PMMS-podział. Ponadto pokazaliśmy kilka szczególnych, ale ważnych przypadków, w których EFX oraz PMMS zawsze istnieją.
W drugiej pracy pt. Differentially Private Algorithms for Rank Aggregation Quentin Hillebrand (University of Copenhagen), Pasin Manurangsi (Google Research), Vorapong Suppakitpaisarn (The University of Tokyo) oraz Phanu Vajanopath (II UWr) zajmowali się problemem tworzenia wspólnego rankingu dla wielu użytkowników na podstawie ich osobistych rankingów w sposób zachowujący prywatność użytkowników.
Autorzy trzeciej z prac: Regular Games -- an Automata-Based General Game Playing Language - Radosław Miernik, Marek Szykuła, Jakub Kowalski, Jakub Cieśluk, Łukasz Galas i Wojciech Pawlik (II UWr) - proponują nowy formalizm General Game Playing o nazwie Regular Games, pozwalający na opisanie wszystkich skończonych gier turowych, niedeterministycznych i z niepełną informacją, wraz ze środowiskiem pozwalającym na tworzenie i testowanie agentów AI. System cechuje się wysoką wydajnością obliczeniową oraz umożliwia tłumaczenie innych języków opisu gier do wspólnej reprezentacji.
