FATIL2020 will not take place and is postponed until further notice.
After some consideration we decided to postpone FATIL2020 in light of the current COVID-19 crisis. It seems unlikely that FATIL2020 could have taken place in normal fashion. As the conference aims at bringing together researchers from different disciplines, personal communication is a central component.
We will organise FATIL again at some point in the future. Until then, stay safe!
FATIL2020
Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience". It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning.
The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2020) aims at bringing together experts from all fields concerned with inductive reasoning. This includes in particular the following aspects:
- Foundations of many of our best theories crucially depend on inductive logic and more widely induction. Uncertainty is ubiquitous in our lives and the philosophical problem arises to make sense of probabilities and to act sensibly in the face of uncertainties. General philosophy of science is much interested in (the reconstruction of) rational inference in general and in science, in particular, in cases with inconclusive evidence.
- Theory of inductive inference can be developed within several traditions such as pure inductive logic or inductive logic based on the maximum entropy principle.
- Applications have sprung from foundational thinking on induction in computer and data science. This includes aspects such as knowledge representation in multi-agent settings and machine learning approaches (such as inductive logic programming).
This conference welcomes contributions in all areas dealing with inductive reasoning. Topics of interest include, but are not limited to:
- * Foundational works about inductive reasoning, inductive logic, and induction, in particular critical examinations of existing principles.
- * Computational approaches to inductive reasoning, in particular non-monotonic and other non-classical logics.
- * Computational approaches to reasoning under uncertainty.
- * Machine learning approaches taking inductive reasoning into account such as inductive logic programming.
The conference specifically welcomes preliminary works and discusion papers on the above topics as well as interdisciplinary works.
