DMCA
Dyna: Extending Datalog For Modern AI ⋆
Cached
Download Links
| Citations: | 8 - 0 self |
BibTeX
@MISC{Eisner_dyna:extending,
author = {Jason Eisner and Nathaniel W. Filardo},
title = {Dyna: Extending Datalog For Modern AI ⋆},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Modern statistical AI systems are quite large and complex; this interferes with research, development, and education. We point out that most of the computation involves database-like queries and updates on complex views of the data. Specifically, recursive queries look up and aggregate relevant or potentially relevant values. If the results of these queries are memoized for reuse, the memos may need to be updated through change propagation. We propose a declarative language, which generalizes Datalog, to support this work in a generic way. Through examples, we show that a broad spectrum of AIalgorithms can be concisely captured by writing down systems of equations in our notation. Many strategies could be used to actually solve those systems. Our examples motivatecertainextensionstoDatalog, whichareconnectedtofunctional and object-oriented programming paradigms. 1 Why a New Data-Oriented Language for AI? Modern AI systems are frustratingly big, making them time-consuming to engineer
Keyphrases
modern ai extending datalog change propagation generic way declarative language complex view database-like query recursive query modern ai system relevant value new data-oriented language modern statistical ai system broad spectrum object-oriented programming paradigm example motivatecertainextensionstodatalog many strategy
