Belief Revision in Sentential Decision Diagrams.
Lilith MatteiAlessandro FacchiniAlessandro AntonucciPublished in: CoRR (2022)
Keyphrases
- belief revision
- decision diagrams
- markov decision processes
- multi valued
- belief change
- propositional logic
- digital circuits
- efficient computation
- belief merging
- binary decision diagrams
- planning problems
- plausible inference
- minimal change
- logical properties
- knowledge base
- compressed data
- constraint satisfaction problems
- belief state
- distributed environment
- domain specific
- computational complexity