Towards a Knowledge Compilation Map for Heterogeneous Representation Languages
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 877-882.
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 (formulae 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.
@inproceedings{ijcai2013p135,
title = {Towards a Knowledge Compilation Map for Heterogeneous Representation Languages},
author = {Fargier, Helene and Marquis, Pierre and Niveau, Alexandre},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {877--882},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/135},
}
TY - CPAPER TI - Towards a Knowledge Compilation Map for Heterogeneous Representation Languages AU - Fargier, Helene AU - Marquis, Pierre AU - Niveau, Alexandre T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 877 EP - 882 UR - https://ijcai.org/proceedings/2013/135 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
