Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne
2018/31/B/HS1/04018
Słowa kluczowe
Deskryptory
- HS1_4: Logika, metodologia nauk, filozofia nauki
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_13: Rachunek prawdopodobieństwa i statystyka matematyczna
Panel
HS1 – Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca
Instytut Podstaw Informatyki PAN
woj. mazowieckie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 3
Konkurs
OPUS 16 – ogłoszony 2018-09-14
- Przyznana kwota
- 824 180 PLN
- Rozpoczęcie projektu
- 2019-09-16
- Zakończenie projektu
- 2022-11-15
- Planowany czas trwania projektu
- 38 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (5)
-
Universal Coding and Prediction on Ergodic Random Points
- Autorzy:
- Łukasz Dębowski, Tomasz Steifer
- Czasopismo:
- Bulletin of Symbolic Logic (rok: 2022, tom: Issue 3, Volume 28, strony: 387-412), Wydawca: Cambridge Core
- Status:
- Opublikowana
- DOI:
- 10.1017/bsl.2022.18 – link do publikacji
-
A note on the learning-theoretic characterizations of randomness and convergence
- Autorzy:
- Tomasz Steifer
- Czasopismo:
- Review of Symbolic Logic (rok: 2021, tom: -, strony: 46037), Wydawca: Cambridge University Press
- Status:
- Opublikowana
- DOI:
- 10.1017/S1755020321000125 – link do publikacji
-
A Refutation of Finite-State Language Models through Zipf's Law for Algorithmic Information
- Autorzy:
- Łukasz Dębowski
- Czasopismo:
- Entropy (rok: 2021, tom: 23, strony: 12785), Wydawca: MDPI
- Status:
- Opublikowana
- DOI:
- 10.3390/e23091148 – link do publikacji
-
Generalization of Shapiro's theorem to higher arities and noninjective notations
- Autorzy:
- Dariusz Kalociński, Michał Wrocławski
- Czasopismo:
- Archive for Mathematical Logic (rok: 2022, tom: not assigned, strony: brak danych), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- 10.1007/s00153-022-00836-4 – link do publikacji
-
Universal Densities Exist for Every Finite Reference Measure
- Autorzy:
- Łukasz Dębowski
- Czasopismo:
- IEEE Transactions on Information Theory (rok: 2023, tom: 69, strony: 5277-5288), Wydawca: IEEE Information Theory Society
- Status:
- Opublikowana
- DOI:
- 10.1109/TIT.2023.3261660 – link do publikacji
Teksty w publikacjach pokonferencyjnych (4)
-
Simple betting and stochasticity
- Autorzy:
- Tomasz Steifer
- Konferencja:
- Computability in Europe 2021: Connecting with Computability (rok: 2021, strony: 424–433), Wydawca: Springer
- Data:
- konferencja 5-9 lipca 2021
- Status:
- Opublikowana
-
Degre spectra, and relative acceptability of notations
- Autorzy:
- Nikolay Bazhenov, Dariusz Kalociński
- Konferencja:
- Annual Conference on Computer Science Logic 2023 (CSL'23) (rok: 2023, strony: 11:1-11:20), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
- Data:
- konferencja 13-16.02.2023
- Status:
- Opublikowana
-
Intrinsic Complexity of Recursive Functions on Natural Numbers with Standard Order
- Autorzy:
- Nikolay Bazhenov, Dariusz Kalociński, Michał Wrocławski
- Konferencja:
- International Symposium on Theoretical Aspects of Computer Science (rok: 2022, strony: 46042), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Data:
- konferencja 15-18 marca
- Status:
- Opublikowana
-
Probabilistic vs Deterministic Gamblers
- Autorzy:
- Laurent Bienvenu, Valentino Delle Rose, Tomasz Steifer
- Konferencja:
- International Symposium on Theoretical Aspects of Computer Science (rok: 2022, strony: 46035), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Data:
- konferencja 15-18 marca 2022
- Status:
- Opublikowana