Steps Towards Commonsense-Driven Belief Revision in the Event Calculus.
Nikoleta TsampanakiGiorgos FlourisTheodore PatkosPublished in: COMMONSENSE (2017)
Keyphrases
- belief revision
- event calculus
- commonsense reasoning
- nonmonotonic reasoning
- knowledge base
- propositional logic
- situation calculus
- belief change
- temporal reasoning
- default reasoning
- deductive databases
- partially ordered
- reasoning tasks
- domain specific knowledge
- belief update
- belief merging
- transitive closure
- formal theory
- belief state
- directed acyclic graph
- temporal logic
- minimal change
- logic programming
- classical logic
- domain independent
- expressive power
- epistemic states