Current browse context:
cs.AI
Change to browse by:
References & Citations
Computer Science > Artificial Intelligence
Title: The Symbolic Interior Point Method
(Submitted on 26 May 2016 (v1), last revised 14 Jun 2016 (this version, v3))
Abstract: A recent trend in probabilistic inference emphasizes the codification of models in a formal syntax, with suitable high-level features such as individuals, relations, and connectives, enabling descriptive clarity, succinctness and circumventing the need for the modeler to engineer a custom solver. Unfortunately, bringing these linguistic and pragmatic benefits to numerical optimization has proven surprisingly challenging. In this paper, we turn to these challenges: we introduce a rich modeling language, for which an interior-point method computes approximate solutions in a generic way. While logical features easily complicates the underlying model, often yielding intricate dependencies, we exploit and cache local structure using algebraic decision diagrams (ADDs). Indeed, standard matrix-vector algebra is efficiently realizable in ADDs, but we argue and show that well-known optimization methods are not ideal for ADDs. Our engine, therefore, invokes a sophisticated matrix-free approach. We demonstrate the flexibility of the resulting symbolic-numeric optimizer on decision making and compressed sensing tasks with millions of non-zero entries.
Submission history
From: Martin Mladenov [view email][v1] Thu, 26 May 2016 08:26:34 GMT (613kb,D)
[v2] Sat, 28 May 2016 17:11:30 GMT (745kb,D)
[v3] Tue, 14 Jun 2016 18:29:14 GMT (746kb,D)
Link back to: arXiv, form interface, contact.