Pierre Marquis
A Few Words about Knowledge Compilation
| DATE: | Friday, September 2, 2011 |
ABSTRACT
Knowledge compilation, a research topic studied in AI for more than twenty years, is concerned with pre-processing some pieces of information in order to improve some tasks of interest, computationally speaking. In this talk, after an introduction to knowledge compilation, I will focus on two important points: the definition of compilable problems (roughly, those for which computational improvements via pre-processing can be "guaranteed") and the design of a knowledge compilation map (a multi-criteria evaluation of representation languages which can be used as target languages for knowledge compilation).
Given at WorKer 2011 – The Third Workshop on Kernelization (slides are linked there).
