What I did today:
1. Worked out a good family of abstractions for the factorial HMM case (basically, the family is based on which state is observed at each point in time).
2. Met with Percy to discuss the family.
3. Wrote out the general probabilistic abstractions framework, abstract SMC framework, and their instantiation on the factorial HMM case. Hopefully this means that I now have a concrete algorithm to implement.