Abstract : La carte de compilation introduite par Darwiche et Marquis s’appuie sur divers concepts (principalement ceux de requˆete, transformation, expressivit ́e et conci- sion) pour comparer la relative ad ́equation des langages de repr ́esentation `a certains probl`emes d’IA. Cependant,
ce cadre est limit ́e `a la comparaison de langages inter- pr ́et ́es de mani`ere homog`ene (les formules sont interpr ́e- t ́ees comme des fonctions bool ́eennes). Cela empˆeche la
comparaison formelle entre des langages pourtant essen- tiellement proches, tels que ceux des OBDDs, MDDs et ADDs. Pour combler cette lacune, cet article pr ́esente un cadre g ́en ́eralis ́e dans lequel la comparaison formelle de langages de repr ́esentation h ́et ́erog`enes devient fai-
sable. En particulier, il explique comment les notions- clefs de requˆete, transformation, expressivit ́e et concision peuvent s’adapter au formalisme g ́en ́eralis ́e
