 |
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
Cited literature [20 references]
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
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)
