Abstract:We propose relational linear programming, a simple framework for combing linear programs (LPs) and logic programs. A relational linear program (RLP) is a declarative LP template defining the objective and the constraints through the logical concepts of objects, relations, and quantified variables. This allows one to express the LP objective and constraints relationally for a varying number of individuals and relations among them without enumerating them. Together with a logical knowledge base, effectively a logical program consisting of logical facts and rules, it induces a ground LP. This ground LP is solved using lifted linear programming. That is, symmetries within the ground LP are employed to reduce its dimensionality, if possible, and the reduced program is solved using any off-the-shelf LP solver. In contrast to mainstream LP template languages like AMPL, which features a mixture of declarative and imperative programming styles, RLP's relational nature allows a more intuitive representation of optimization problems over relational domains. We illustrate this empirically by experiments on approximate inference in Markov logic networks using LP relaxations, on solving Markov decision processes, and on collective inference using LP support vector machines.

Relational Lattice Axioms

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

On a lattice of relational spaces (reducts) for the order of integers

Axiomatic Characterizations of Dual Concept Lattices.

Tense Logics over Lattices

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property

Relationships between concept lattice and rough set

Lattice-theoretic Models of Conjectures, Hypotheses and Consequences

Concept Lattice and AFS Algebra

Afs Structures And Concept Lattices

A New Method of Building Lattice Based on Join-Irreducible

Relationlog: A Typed Extension to Datalog with Sets and Tuples

Models for Lattice-Valued First-Order Logic LF(X).

Relational Models for the Lambek Calculus with Intersection and Constants

Non-distributive description logic

A New Type of Generalized One-Sided Concept Lattices and Its Knowledge Reduction

Relational Linear Programs

The concept lattice functors

Algebraic Reasoning over Relational Structures

Axiomatic Approaches to Rough Approximation Operators Via Ideal on a Complete Completely Distributive Lattice

Ultraproduct of First-Order Lattice-Valued Logic Lf(X) Based on Finite Lattice Implication Algebra