OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Fargier, Hélène and Marquis, Pierre and Niveau, Alexandre Vers une carte de compilation pour des langages de représentation hétérogènes. (2013) In: 7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), 12 June 2013 - 14 June 2013 (Aix en Provence, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
279kB

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

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01212945
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université d'Artois (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:17 Sep 2015 14:24

Repository Staff Only: item control page