Abstract:The field of statistical relational learning aims at unifying logic and probability to reason and learn from data. Perhaps the most successful paradigm in the field is probabilistic logic programming: the enabling of stochastic primitives in logic programming, which is now increasingly seen to provide a declarative background to complex machine learning applications. While many systems offer inference capabilities, the more significant challenge is that of learning meaningful and interpretable symbolic representations from data. In that regard, inductive logic programming and related techniques have paved much of the way for the last few decades. Unfortunately, a major limitation of this exciting landscape is that much of the work is limited to finite-domain discrete probability distributions. Recently, a handful of systems have been extended to represent and perform inference with continuous distributions. The problem, of course, is that classical solutions for inference are either restricted to well-known parametric families (e.g., Gaussians) or resort to sampling strategies that provide correct answers only in the limit. When it comes to learning, moreover, inducing representations remains entirely open, other than "data-fitting" solutions that force-fit points to aforementioned parametric families. In this paper, we take the first steps towards inducing probabilistic logic programs for continuous and mixed discrete-continuous data, without being pigeon-holed to a fixed set of distribution families. Our key insight is to leverage techniques from piecewise polynomial function approximation theory, yielding a principled way to learn and compositionally construct density functions. We test the framework and discuss the learned representations.

Some issues about neutrino processes in color superconducting quark matter

Learning Permutation-Invariant Embeddings for Description Logic Concepts

Traps and pitfalls when learning logical definitions from relations

Reasoning about concepts with LLMs: Inconsistencies abound

Implicitly Learning to Reason in First-Order Logic

Continuous logic in a classical setting

Learning Temporal Logic Properties: an Overview of Two Recent Methods

Learning Two-Tiered Descriptions of Flexible Concepts: The POSEIDON System

Learning Probabilistic Logic Programs in Continuous Domains

Learning first-order definable concepts over structures of small degree

What's Left? Concept Grounding with Logic-Enhanced Foundation Models

Knowledge Spaces and the Completeness of Learning Strategies

Learning Onto-Relational Rules with Inductive Logic Programming

Learning from Interpretation Transition Using Differentiable Logic Programming Semantics

Learning logic programs by explaining their failures

Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

Comparing Differentiable Logics for Learning Systems: A Research Preview

Learning First-Order Rules with Differentiable Logic Program Semantics

From Unstructured Data to In-Context Learning: Exploring What Tasks Can Be Learned and When

Learning Abduction under Partial Observability