La carte de compilation introduite par Darwiche et Marquis s’appuie sur divers concepts (principalement ceux de requête, transformation, expressivité et concision) pour comparer la relative adéquation des langages de représentation à certains problèmes d’IA. Cependant, ce cadre est limité à la comparaison de langages interprété et ́es de manière homogène (les formules sont interprétées comme des fonctions booléennes). Cela empêche la comparaison formelle entre des langages pourtant essentiellement proches, tels que ceux des OBDDs, MDDs et ADDs. Pour combler cette lacune, cet article présente un cadre généralisé dans lequel la comparaison formelle de langages de représentation hétérogènes devient faisable. En particulier, il explique comment les notions- clefs de requête, transformation, expressivité et concision peuvent s’adapter au formalisme généralisé