Keyphrases
- deontic logic
- initial state
- perceptual aliasing
- state transitions
- action sequences
- knowledge representation language
- partial knowledge
- nonmonotonic logics
- legal reasoning
- state transition
- update semantics
- situation calculus
- decision theoretic
- human actions
- artificial intelligence
- reasoning about actions
- random variables
- state space