A Modal Logic for Message passing Processes (Extended Abstract).
Matthew HennessyXinxin LiuPublished in: CAV (1993)
Keyphrases
- extended abstract
- message passing
- modal logic
- belief propagation
- temporal logic
- distributed systems
- inference rules
- approximate inference
- markov random field
- probabilistic inference
- nonmonotonic logics
- factor graphs
- shared memory
- situation calculus
- dynamic logic
- conditional logic
- inference in graphical models
- default logic
- epistemic logic
- prime implicates
- sum product algorithm
- classical logic
- graphical models
- distributed shared memory
- model checking
- image segmentation
- graph cuts
- modal operators
- sum product
- pairwise