Situation Calculus Semantics for Actual Causality.
Vitaliy BatusovMikhail SoutchanskiPublished in: COMMONSENSE (2017)
Keyphrases
- situation calculus
- logical language
- action theories
- fluent calculus
- indirect effects
- reasoning tasks
- logic programming language
- event calculus
- modal operators
- formal semantics
- initial state
- reasoning about actions
- logical theories
- action language
- modal logic
- provably correct
- concurrent actions
- agent programming
- dynamic logic
- logic programming
- sensing actions
- default reasoning
- temporal reasoning
- nonmonotonic logics