TY - JOUR
AU - Luttermann, Malte
AU - Braun, Tanya
AU - MÃ¶ller, Ralf
AU - Gehrke, Marcel
PY - 2024/03/24
Y2 - 2024/08/13
TI - Colour Passing Revisited: Lifted Model Construction with Commutative Factors
JF - Proceedings of the AAAI Conference on Artificial Intelligence
JA - AAAI
VL - 38
IS - 18
SE - AAAI Technical Track on Reasoning under Uncertainty
DO - 10.1609/aaai.v38i18.30034
UR - https://ojs.aaai.org/index.php/AAAI/article/view/30034
SP - 20500-20507
AB - Lifted probabilistic inference exploits symmetries in a probabilistic model to allow for tractable probabilistic inference with respect to domain sizes. To apply lifted inference, a lifted representation has to be obtained, and to do so, the so-called colour passing algorithm is the state of the art. The colour passing algorithm, however, is bound to a specific inference algorithm and we found that it ignores commutativity of factors while constructing a lifted representation. We contribute a modified version of the colour passing algorithm that uses logical variables to construct a lifted representation independent of a specific inference algorithm while at the same time exploiting commutativity of factors during an offline-step. Our proposed algorithm efficiently detects more symmetries than the state of the art and thereby drastically increases compression, yielding significantly faster online query times for probabilistic inference when the resulting model is applied.
ER -