A Modal Logic for Message Passing Processes.

Matthew Hennessy Xinxin Liu

Published 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