Towards a Knowledge Compilation Map for Heterogeneous Representation Language - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Towards a Knowledge Compilation Map for Heterogeneous Representation Language

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

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

Citer

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⟩
148 Consultations
43 Téléchargements

Partager

More