Hybrid Temporal Situation Calculus.
Vitaliy BatusovGiuseppe De GiacomoMikhail SoutchanskiPublished in: Canadian Conference on AI (2019)
Keyphrases
- situation calculus
- event calculus
- action theories
- provably correct
- initial state
- reasoning about actions
- temporal information
- temporal reasoning
- reasoning tasks
- concurrent actions
- temporal data
- logical language
- fluent calculus
- modal logic
- universally quantified
- indirect effects
- temporal databases
- search algorithm
- knowledge base
- taxonomic reasoning
- sensing actions
- action language
- blocks world
- sufficient conditions
- reinforcement learning