Results 11 to 20 of about 18,076 (303)
Inductive Logic and Statistics [PDF]
, 2011 This chapter concerns inductive logic in relation to mathematical statistics. I start by introducing a general notion of probabilistic induc- tive inference. Then I introduce Carnapian inductive logic, and I show that it can be related to Bayesian statistical inference via de Finetti's representation theorem.
Romeijn, J.W., Jan-willem Romeijn
openaire +5 more sources
Probabilistic Inductive Logic Programming [PDF]
, 2004 Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integration of probabilistic reasoning with first order logic representations and machine learning.
De Raedt, Luc, Kersting, Kristian
core +11 more sources
Proceedings of the First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) [PDF]
, 2022 Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience".
core +1 more source
Inductive Logic Programming [PDF]
, 2011 Inductive logic programming is the subfield of machine learning that uses first-order logic to represent hypotheses and data. Because first-order logic is expressive and declarative, inductive logic programming specifically targets problems involving ...
De Raedt, Luc,
openaire +4 more sources
Inductive Inference and Epistemic Modal Logic (Invited Talk) [PDF]
, 2023 This paper is concerned with a link between inductive inference and dynamic epistemic logic. The bridge was first introduced in [Gierasimczuk, 2009; Nina Gierasimczuk, 2009; Gierasimczuk, 2010].
Gierasimczuk, Nina
core +1 more source
, 2022 S.58-73For many tasks in fields like computer vision, computational biology and information extraction, popular probabilistic inference methods have been devised mainly for propositional models that contain only unary and pairwise clique potentials.
Kersting, Kristian +4 more
core +1 more source
Efficient data structures for inductive logic programming [PDF]
, 2003 This work aims at improving the scalability of memory usage in Inductive Logic Programming systems. In this context, we propose two ecient data structures: the Trie, used to represent lists and clauses; and the RL-Tree, a novel data structure used to ...
Rui Camacho +4 more
core +1 more source
Induction: A Logical Analysis [PDF]
Foundations of Science, 2020 AbstractThe aim of this contribution is to provide a rather general answer to Hume’s problem. To this end, induction is treated within a straightforward formal paradigm, i.e., several connected levels of abstraction. Within this setting, many concrete models are discussed.
openaire +2 more sources
Classical logic with Mendler induction [PDF]
Journal of Logic and Computation, 2020 AbstractWe investigate (co-) induction in classical logic under the propositions-as-types paradigm, considering propositional, second-order and (co-) inductive types. Specifically, we introduce an extension of the Dual Calculus with a Mendler-style (co-) iterator and show that it is strongly normalizing. We prove this using a reducibility argument.
Devesas Campos, Marco, Fiore, Marcelo
openaire +2 more sources
Challenges to Bayesian Confirmation Theory [PDF]
, 2011 While Bayesian analysis has enjoyed notable success with many particular problems of inductive inference, it is not the one true and universal logic of induction. I review why the Bayesian approach fails to provide this universal logic of induction. Some
Norton, JD +2 more
core +1 more source