Situation Calculus Semantics for Actual Causality.
Vitaliy BatusovMikhail SoutchanskiPublished in: AAAI (2018)
Keyphrases
- situation calculus
- logical language
- action theories
- fluent calculus
- reasoning tasks
- indirect effects
- logic programming language
- reasoning about actions
- event calculus
- modal operators
- action language
- initial state
- formal semantics
- concurrent actions
- logical theories
- modal logic
- blocks world
- provably correct
- nonmonotonic logics
- model theoretic
- dynamic logic
- programming language
- reinforcement learning