Knowledge
compilation is a family of approaches for addressing the
intractability of a number ofdifficult problems (beyond NP). An
problem instace is "compiled" (pre processed, typically
transformed into an instance of another language) in an off-line phase
in order
to support the perninent requests in polytime.
The aim of the ANITI KC project is
to develop and experiments
compilation models and algorithms for the on line optimization of
problems dealing with preferences and/or uncertainties, be the
uncertainty/preference model quantitative (e.g. GAI nets,
Bayesian nets, Temporal CSPs) or qualitative (e.g. CP nets,
logical approaches, point and interval algebra). Our domain of
application include temporal planning problems and configuration
problems.
Keywords: Approximate compilation, hererogenous KC maps, ML compilation
maps