Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic.
Daxin LiuGerhard LakemeyerPublished in: IJCAI (2021)
Keyphrases
- modal operators
- propositional dynamic logic
- decision making
- belief revision
- reasoning about actions
- probabilistic logic
- rational agents
- modal logic
- belief functions
- classical logic
- uncertain data
- truth maintenance systems
- mental states
- partially ordered
- qualitative reasoning
- gaussian processes
- nonmonotonic logics
- dynamic logic
- logical inference
- generative model