Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax).
Adrian FrancalanzaGerard TaboneFrank PfenningPublished in: COORDINATION (2024)
Keyphrases
- message passing
- sequent calculus
- cut elimination
- belief propagation
- inference rules
- linear logic
- distributed systems
- modal logic
- natural deduction
- probabilistic inference
- shared memory
- linear time temporal logic
- factor graphs
- markov random field
- sum product algorithm
- approximate inference
- inference in graphical models
- sum product
- distributed shared memory
- graphical models
- pairwise
- possibility theory
- decision theory
- max product
- matching algorithm
- sufficient conditions