Carte de compilation des diagrammes de décision ordonnés a valeurs réelles - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Carte de compilation des diagrammes de décision ordonnés a valeurs réelles

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.
Les diagrammes de décision valués (VDDs) sont des structures de données représentant des fonctions à valeurs réelles positives. Ces structures sont utiles pour la compilation de fonctions de coût ou d'utilité, ou encore de distributions de probabilités. Si la complexité de certaines requêtes (comme l'optimisation) et de certaines transformations (comme le conditionnement) sur de tels langages est bien connue, il reste de nombreuses requêtes et transformations importantes dont la complexité n'a pas encore été identifiée ; figurent parmi elles différents types de coupes, marginalisations, ou encore combinaisons. En établissant une carte de compilation des diagrammes de décision ordonnés à valeurs réelles, cet article contribue à combler ce manque. Nos résultats montrent que beaucoup de tâches difficiles à partir de CSPs valués sont traitables à partir de VDDs.
Fichier principal
Vignette du fichier
JIAF14_FMNS.pdf (511.95 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01095577 , version 1 (15-12-2014)

Identifiers

  • HAL Id : hal-01095577 , version 1

Cite

Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt. Carte de compilation des diagrammes de décision ordonnés a valeurs réelles. 8èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2014), Jun 2014, Angers, France. pp.1--11. ⟨hal-01095577⟩
286 View
143 Download

Share

Gmail Facebook X LinkedIn More