OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Towards a Knowledge Compilation Map for Heterogeneous Representation Language

Fargier, Hélène and Marquis, Pierre and Niveau, Alexandre Towards a Knowledge Compilation Map for Heterogeneous Representation Language. (2013) In: International Joint Conference on Artificial Intelligence - IJCAI 2013, 3 August 2013 - 9 August 2013 (Beijing, China).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
278kB

Abstract

The knowledge compilation map introduced by Darwiche and Marquis takes advantage of a number of concepts (mainly queries, transformations, expressiveness, and succinctness) to compare the relative adequacy of representation languages to some AI problems. However, the framework is limited to the comparison of languages that are interpreted in a homogeneous way (formulæ are interpreted as Boolean functions). This prevents one from comparing, on a formal basis, languages that are close in essence, such as OBDD, MDD, and ADD. To fill the gap, we present a generalized framework into which comparing formally heterogeneous representation languages becomes feasible. In particular, we explain how the key notions of queries and transformations, expressiveness, and succinctness can be lifted to the generalized setting.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM editor. The definitive version is available at http://dl.acm.org/citation.cfm?id=2540255
Audience (conference):International 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:09 Apr 2015 13:05

Repository Staff Only: item control page