Graded modal logic and counting message passing automata.
Veeti AhvonenDamian HeimanAntti KuusistoPublished in: CoRR (2024)
Keyphrases
- modal logic
- message passing
- belief propagation
- temporal logic
- inference rules
- cellular automata
- probabilistic inference
- factor graphs
- distributed systems
- markov random field
- shared memory
- nonmonotonic logics
- epistemic logic
- approximate inference
- inference in graphical models
- distributed shared memory
- sum product
- default logic
- conditional logic
- situation calculus
- dynamic logic
- sum product algorithm
- junction tree
- modal operators
- reinforcement learning
- explanation based generalization
- graphical models
- dynamic programming
- preprocessing