Towards a Knowledge Compilation Map for Heterogeneous Representation Language - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Towards a Knowledge Compilation Map for Heterogeneous Representation Language

Abstract

The knowledge compilation map introduced by Darwiche and Marquis takes advantage of a number of concepts (mainly queries, transformations, expressiveness, and succinctness) to compare the relative adequacy of representation languages to some AI problems. However, the framework is limited to the comparison of languages that are interpreted in a homogeneous way (formulæ are interpreted as Boolean functions). This prevents one from comparing, on a formal basis, languages that are close in essence, such as OBDD, MDD, and ADD. To fill the gap, we present a generalized framework into which comparing formally heterogeneous representation languages becomes feasible. In particular, we explain how the key notions of queries and transformations, expressiveness, and succinctness can be lifted to the generalized setting.
Fichier principal
Vignette du fichier
Fargier_12764.pdf (271.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04085296 , version 1 (28-04-2023)

Identifiers

  • HAL Id : hal-04085296 , version 1
  • OATAO : 12764

Cite

Hélène Fargier, Pierre Marquis, Alexandre Niveau. Towards a Knowledge Compilation Map for Heterogeneous Representation Language. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), International Joint Conferences on Artificial Intelligence (IJCAI), Aug 2013, Beijing, China. pp.877-883. ⟨hal-04085296⟩
114 View
15 Download

Share

Gmail Facebook X LinkedIn More