Revising event calculus theories to recover from unexpected observations.
Nikoleta TsampanakiTheodore PatkosGiorgos FlourisDimitris PlexousakisPublished in: Ann. Math. Artif. Intell. (2021)
Keyphrases
- event calculus
- theory revision
- situation calculus
- reasoning about actions and change
- commonsense reasoning
- reasoning tasks
- deductive databases
- temporal reasoning
- partially ordered
- domain specific knowledge
- transitive closure
- general theory
- action theories
- domain theory
- databases
- initial state
- inductive learning
- qualitative and quantitative
- expressive power
- post processing
- object oriented