Foundations, Applications & Theory of Inductive Logic

• Applicant: Dr. Jürgen Landes
• Subject Area: Theoretical Philosophy
• Term: from 2019 to 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 432308570

• Final Report Year: 2023

Final Report Abstract

Small but dedicated groups of philosophers, computer scientists and mathematicians are once again flying the inductive logic flag. Unfortunately, there is little close interaction between groups, which is a major obstacle in realising the prospects of inductive logic. Furthermore, inductive logic does not receive the appreciation by the wider communities it deserves – possibly due to the lack of perceived cohesion among inductive logicians. This network was formed in order to i) support and coordinate inductive logicians and ii) draw attention to new exciting work on inductive logic. To achieve these goals, the network funds would be used to fund meetings. Despite the Covid-19 pandemic striking, network members managed to come together for three major meetings: 1. Interdisciplinarity of Inductive Logic (26-28 February 2020), 2. Combining Probability and Logic (31.08.-03.09.2021) [Progic] and 3. Applications of Inductive Logic (12-14 October 2022) [AIL]. The first meeting was an internal kick-off meeting to get to know each other and start productive conversations. The second and third meetings were international conferences featuring contributed papers from network members, invited speakers and contributed papers from researchers interested in inductive logic that were not part of the network. Network members are currently guest-editing a special issue in connection with Progic (Annals of Pure and Applied Logic) and one in connection with AIL (Journal of Applied Logics). Proceedings of AIL have already been published. Although, the funding period has now ended, network members are still collaborating on a number of joint papers, and two books.

Publications

• 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