The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic.
Thomas EhrhardClaudia FaggianMichele PaganiPublished in: FSCD (2023)
Keyphrases
- linear logic
- sum product algorithm
- message passing
- fixed point
- sequent calculus
- proof theoretic
- em algorithm
- cut elimination
- intuitionistic logic
- qualitative and quantitative
- logical framework
- belief propagation
- logic programming
- graphical models
- proof search
- desirable properties
- high level
- general purpose
- expert systems
- data model
- artificial intelligence
- expectation maximization
- maximum likelihood
- distributed systems