Skip to Main content Skip to Navigation
Conference papers

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
Keywords : Logique
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01212945
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, October 7, 2015 - 3:18:55 PM
Last modification on : Monday, June 29, 2020 - 11:46:03 AM
Document(s) archivé(s) le : Friday, January 8, 2016 - 10:42:36 AM

File

fargier_12768.pdf
Files produced by the author(s)

Identifiers

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

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. ⟨hal-01212945⟩

Share

Metrics

Record views

157

Files downloads

65