A Knowledge Compilation Map

06/09/2011
by   A. Darwiche, et al.
0

We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages according to their succinctness and their polytime transformations and queries. We argue that such analysis is necessary for placing new compilation approaches within the context of existing ones. We also go beyond classical, flat target compilation languages based on CNF and DNF, and consider a richer, nested class based on directed acyclic graphs (such as OBDDs), which we show to include a relatively large number of target compilation languages.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/08/2021

A Knowledge Compilation Map for Conditional Preference Statements-based Languages

Conditional preference statements have been used to compactly represent ...
research
06/13/2019

A complete language for faceted dataflow programs

We present a complete categorical axiomatization of a wide class of data...
research
07/14/2017

Incremental Parametric Syntax for Multi-Language Transformation

We present a new approach for building source-to-source transformations ...
research
10/02/2020

All You Need Is CONSTRUCT

In SPARQL, the query forms SELECT and CONSTRUCT have been the subject of...
research
05/13/2020

Generating collection queries from proofs

Nested relations, built up from atomic types via tupling and set types, ...
research
10/25/2019

Rumble: data independence when data is in a mess

This paper introduces Rumble, an engine that executes JSONiq queries on ...
research
07/15/2021

An Optimised Flow for Futures: From Theory to Practice

A future is an entity representing the result of an ongoing computation....

Please sign up or login with your details

Forgot password? Click here to reset