Vers une carte de compilation pour des langages de représentation hétérogènes - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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 lacomparaison 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
Fichier principal
Vignette du fichier
fargier_12768.pdf (272.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

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

Cite

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. ⟨hal-01212945⟩
118 View
41 Download

Share

Gmail Facebook X LinkedIn More