A Modal Logic for Message Passing Processes.
Matthew HennessyXinxin LiuPublished in: Acta Informatica (1995)
Keyphrases
- message passing
- modal logic
- belief propagation
- temporal logic
- inference rules
- distributed systems
- probabilistic inference
- nonmonotonic logics
- inference in graphical models
- epistemic logic
- shared memory
- default logic
- approximate inference
- classical logic
- markov random field
- factor graphs
- graphical models
- distributed shared memory
- junction tree
- sum product
- conditional logic
- sum product algorithm
- bayesian networks
- model checking
- object recognition
- modal operators
- dynamic logic
- prime implicates
- explanation based generalization
- multi agent
- image processing
- graph cuts