Connecting Actions and States in Deontic Logic.
Piotr KulickiRobert TrypuzPublished in: Stud Logica (2017)
Keyphrases
- deontic logic
- state transitions
- initial state
- perceptual aliasing
- knowledge representation language
- action sequences
- legal reasoning
- state transition
- update semantics
- partial knowledge
- decision theoretic
- plan recognition
- human actions
- situation calculus
- inference rules
- dynamical systems
- nonmonotonic logics
- state information
- general purpose
- state space
- probability distribution