Vers une carte de compilation pour des langages de représentation hétérogènes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Résumé

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é
Fichier principal
Vignette du fichier
fargier_12768.pdf (272.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01212945 , version 1 (07-10-2015)

Identifiants

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

Citer

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 (JIAF 2013), Jun 2013, Aix en Provence, France. pp.145-154. ⟨hal-01212945⟩
139 Consultations
54 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More