Belief Revision in the Situation Calculus Without Plausibility Levels.
Robert DemolombeMaria del Pilar Pozos ParraPublished in: ISMIS (2006)
Keyphrases
- belief revision
- situation calculus
- action theories
- minimal change
- propositional logic
- belief change
- logical theories
- event calculus
- default reasoning
- belief update
- reasoning about actions
- nonmonotonic reasoning
- reasoning tasks
- initial state
- modal logic
- logical properties
- temporal logic
- iterated belief revision
- concurrent actions
- fluent calculus
- probability theory
- knowledge base
- belief merging
- integrity constraints
- object oriented