Timezone: »

 
Poster
Tractable Operations for Arithmetic Circuits of Probabilistic Models
Yujia Shen · Arthur Choi · Adnan Darwiche

Tue Dec 06 09:00 AM -- 12:30 PM (PST) @ Area 5+6+7+8 #190

We consider tractable representations of probability distributions and the polytime operations they support. In particular, we consider a recently proposed arithmetic circuit representation, the Probabilistic Sentential Decision Diagram (PSDD). We show that PSDD supports a polytime multiplication operator, while they do not support a polytime operator for summing-out variables. A polytime multiplication operator make PSDDs suitable for a broader class of applications compared to arithmetic circuits, which do not in general support multiplication. As one example, we show that PSDD multiplication leads to a very simple but effective compilation algorithm for probabilistic graphical models: represent each model factor as a PSDD, and then multiply them.

Author Information

Yujia Shen (UCLA)
Arthur Choi (UCLA)
Adnan Darwiche (UCLA)

More from the Same Authors