Vers une carte de compilation pour des langages de représentation hétérogènes

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
Keywords : Logique
Type de document :
Communication dans un congrès
7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), Jun 2013, Aix en Provence, France. pp. 145-154, 2013
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01212945
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : mercredi 7 octobre 2015 - 15:18:55
Dernière modification le : mercredi 12 septembre 2018 - 17:46:03
Document(s) archivé(s) le : vendredi 8 janvier 2016 - 10:42:36

Fichier

fargier_12768.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01212945, version 1
  • OATAO : 12770

Collections

Citation

Hélène Fargier, Pierre Marquis, Alexandre Niveau. Vers une carte de compilation pour des langages de représentation hétérogènes. 7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), Jun 2013, Aix en Provence, France. pp. 145-154, 2013. 〈hal-01212945〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

40