A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams

Abstract

Valued decision diagrams (VDDs) are data structures that represent functions mapping variable-value assignments to non-negative real numbers. They prove useful to compile cost functions, utility functions, or probability distributions. While the complexity of some queries (notably optimization) and transformations (notably conditioning) on VDD languages has been known for some time, there remain many significant queries and transformations, such as the various kinds of cuts, marginalizations, and combinations, the complexity of which has not been identified so far. This paper contributes to filling this gap and completing previous results about the time and space efficiency of VDD languages, thus leading to a knowledge compilation map for real-valued functions. Our results show that many tasks that are hard on valued CSPs are actually tractable on VDDs.
Fichier principal
Vignette du fichier
fargier_16898.pdf (260.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04077580 , version 1 (21-04-2023)

Identifiers

  • HAL Id : hal-04077580 , version 1
  • OATAO : 16898

Cite

Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt. A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. 28th Conference on Artificial Intelligence (AAAI 2014), AAAI, Jul 2014, Quebec, Canada. pp.1049--1055. ⟨hal-04077580⟩
214 View
21 Download

Share

Gmail Facebook X LinkedIn More