Search papers, labs, and topics across Lattice.
The paper introduces a novel framework for answering queries in first-order relational probabilistic logic by combining implicit learning and lifted inference, avoiding explicit model construction. They merge incomplete first-order axioms with partially observed examples into a bounded-degree fragment of the sum-of-squares (SOS) hierarchy. Their algorithm performs grounding-lift and world-lift simultaneously, achieving a polynomial-time framework for learning and performing lifted inference over individuals and worlds.
Achieve polynomial-time first-order probabilistic inference by implicitly learning from incomplete data and performing lifted inference over both individuals and possible worlds, sidestepping the need for explicit model construction.
Reconciling the tension between inductive learning and deductive reasoning in first-order relational domains is a longstanding challenge in AI. We study the problem of answering queries in a first-order relational probabilistic logic through a joint effort of learning and reasoning, without ever constructing an explicit model. Traditional lifted inference assumes access to a complete model and exploits symmetry to evaluate probabilistic queries; however, learning such models from partial, noisy observations is intractable in general. We reconcile these two challenges through implicit learning to reason and first-order relational probabilistic inference techniques. More specifically, we merge incomplete first-order axioms with independently sampled, partially observed examples into a bounded-degree fragment of the sum-of-squares (SOS) hierarchy in polynomial time. Our algorithm performs two lifts simultaneously: (i) grounding-lift, where renaming-equivalent ground moments share one variable, collapsing the domain of individuals; and (ii) world-lift, where all pseudo-models (partial world assignments) are enforced in parallel, producing a global bound that holds across all worlds consistent with the learned constraints. These innovations yield the first polynomial-time framework that implicitly learns a first-order probabilistic logic and performs lifted inference over both individuals and worlds.
