Belief change and dynamic logic.
Hans P. van DitmarschPublished in: Belief Change in Rational Agents (2005)
Keyphrases
- dynamic logic
- belief change
- belief revision
- belief update
- reasoning about actions
- minimal change
- propositional logic
- modal logic
- probability theory
- imperative programs
- prime implicates
- propositional dynamic logic
- first order logic
- belief base
- relational databases
- epistemic states
- machine learning
- temporal logic
- belief set
- domain knowledge
- horn logic