Unifying AI Algorithms with Probabilistic Programming using Implicitly Defined Representations

10/05/2021
by   Avi Pfeffer, et al.
0

We introduce Scruff, a new framework for developing AI systems using probabilistic programming. Scruff enables a variety of representations to be included, such as code with stochastic choices, neural networks, differential equations, and constraint systems. These representations are defined implicitly using a set of standardized operations that can be performed on them. General-purpose algorithms are then implemented using these operations, enabling generalization across different representations. Zero, one, or more operation implementations can be provided for any given representation, giving algorithms the flexibility to use the most appropriate available implementations for their purposes and enabling representations to be used in ways that suit their capabilities. In this paper, we explain the general approach of implicitly defined representations and provide a variety of examples of representations at varying degrees of abstraction. We also show how a relatively small set of operations can serve to unify a variety of AI algorithms. Finally, we discuss how algorithms can use policies to choose which operation implementations to use during execution.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/06/2022

Jeopardy: An Invertible Functional Programming Language

Algorithms are ways of mapping problems to solutions. An algorithm is in...
research
03/03/2020

Implicitly Defined Layers in Neural Networks

In conventional formulations of multilayer feedforward neural networks, ...
research
12/11/2019

Zero-shot generalization using cascaded system-representations

This paper proposes a new framework named CASNET to learn control polici...
research
08/07/2023

Recoverable and Detectable Self-Implementations of Swap

Recoverable algorithms tolerate failures and recoveries of processes by ...
research
03/01/2002

Deductive Nonmonotonic Inference Operations: Antitonic Representations

We provide a characterization of those nonmonotonic inference operations...
research
06/27/2023

Evaluation of OpenAI Codex for HPC Parallel Programming Models Kernel Generation

We evaluate AI-assisted generative capabilities on fundamental numerical...
research
01/22/2020

Profunctor optics and traversals

Optics are bidirectional accessors of data structures; they provide a po...

Please sign up or login with your details

Forgot password? Click here to reset