Grundlagen, Anwendungen & Theorie der Induktiven Logik

• Antragsteller: Dr. Jürgen Landes
• Fachliche Zuordnung: Theoretische Philosophie
• Förderung: Förderung von 2019 bis 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 432308570

• Erstellungsjahr: 2023

Zusammenfassung der Projektergebnisse

Eine kleine, aber engagierte Gruppe von Philosophen, Informatikern und Mathematikern hält weiterhin das Banner der induktiven Logik hoch. Leider gibt es kaum enge Interaktionen zwischen den verschiedenen Fachbereichen, was ein großes Problem bei der Verwirklichung des Potentials der induktiven Logik darstellt. Darüber hinaus erhält die induktive Logik in der breiteren Gemeinschaft nicht die Wertschätzung, die sie verdient - möglicherweise aufgrund des mangelnden wahrgenommenen Zusammenhalts unter den induktiven Logikern. Dieses Netzwerk wurde gegründet, um i) induktive Logiker zu unterstützen und zu koordinieren und ii) die Aufmerksamkeit auf neue spannende Arbeiten zur induktiven Logik zu lenken. Um diese Ziele zu erreichen, sollte das Netzwerk Mittel bereitstellen, welche zur Finanzierung von Meetings zu verwenden sind. Trotz des Ausbruchs der Covid-19-Pandemie gelang es den Netzwerkmitgliedern, zu drei Treffen zusammenzukommen. 1. Interdisciplinarity oflnductive Logic (26-28 February 2020) 2. Combining Probability and Logic (31.08.-03.09.2021) [Progic] and 3. Applications oflnductive Logic (12-14 October 2022) [AIL]. Das erste Treffen war ein internes Kick-off-Meeting, um sich kennenzulernen und produktive Gespräche zu beginnen. Das zweite und dritte Treffen waren internationale Konferenzen mit Beiträgen von Netzwerkmitgliedern, eingeladenen Rednern und Beiträgen von Forschern, die sich für induktive Logik interessierten und nicht Teil des Netzwerks waren. Netzwerkmitglieder sind derzeit Gastherausgeber einer Sonderausgabe im Zusammenhang mit Progic (Annals cf Pure and Applied Logic) und einer in Verbindung mit AIL (Journal cf Applied Logics). Proceedings von AIL wurden bereits veröffentlicht. Auch wenn der Förderzeitraum nun abgelaufen ist, arbeiten Netzwerkmitglieder noch immer produktiv zusammen: eine Reihe von Zeitschriftenartikel sowie an zwei Büchern.

Projektbezogene Publikationen (Auswahl)

• Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347.
  Flaminio, Tommaso; Godo, Lluis & Hosni, Hykel
  
• The Entropy-Limit (Conjecture) for $$\Sigma _2$$-Premisses. Studia Logica, 109(2), 423-442.
  Landes, Jürgen
  
• Probabilities with Gaps and Gluts. Journal of Philosophical Logic, 50(5), 1107-1141.
  Klein, Dominik; Majer, Ondrej & Rafiee, Rad Soroush
  
• The no-free-lunch theorems of supervised learning. Synthese, 199(3-4), 9979-10015.
  Sterkenburg, Tom F. & Grünwald, Peter D.
  
• When Belief Functions and Lower Probabilities are Indistinguishable. In Andrés Cano, Jasper De Bock, Enrique Miranda, and Serafin Moral, editors, Proceedings of ISIPTA, volume 147 of Proceedings of Machine Learning Research, pages 83–89. PMLR, 2021
  Esther Anna Corsi; Tommaso Flaminio & Hykel Hosni
  
• A Bayesian Account of Establishing. The British Journal for the Philosophy of Science, 73(4), 903-925.
  Williamson, Jon
  
• Bayesian merging of opinions and algorithmic randomness. The British Journal for the Philosophy of Science.
  Blando, Francesca Zaffora
  
• Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic. Journal of Philosophical Logic, 52(2), 555-608.
  Landes, Juergen; Rafiee, Rad Soroush & Williamson, Jon
  
• Objective Bayesian Nets for Integrating Consistent Datasets. Journal of Artificial Intelligence Research, 74, 393-458.
  Landes, Juergen & Williamson, Jon
  
• Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artificial Intelligence, 317, 103876.
  Heyninck, Jesse; Kern-Isberner, Gabriele; Rienstra, Tjitze; Skiba, Kenneth & Thimm, Matthias