A Semantic Account of Iterated Belief Revision in the Situation Calculus.
Christoph SchweringGerhard LakemeyerPublished in: ECAI (2014)
Keyphrases
- situation calculus
- action theories
- event calculus
- fluent calculus
- initial state
- concurrent actions
- provably correct
- belief revision
- reasoning about actions
- blocks world
- agent programming
- sensing actions
- reasoning tasks
- natural language
- modal logic
- domain specific
- iterated belief revision
- indirect effects
- action language
- semantic network
- sufficient conditions
- propositional logic
- expert systems