A Deontic Action Logic with Sequential Composition of Actions.
Piotr KulickiRobert TrypuzPublished in: DEON (2012)
Keyphrases
- reasoning about actions
- deontic logic
- classical logic
- action theories
- human actions
- logic programming
- situation calculus
- action language
- action selection
- dynamic logic
- action sequences
- concurrent actions
- action rules
- recognizing actions
- indirect effects
- action detection
- action descriptions
- joint action
- action recognition
- recognizing human actions
- modal logic
- partial observations
- continuous action
- action models
- action primitives
- initial state
- state action
- action space
- external events
- transition systems
- reinforcement learning
- logic programs
- body motions
- description language
- representation language
- nonmonotonic logics
- plan recognition
- decision theoretic
- human motion
- multi valued
- planning problems
- temporal logic
- action classification
- space time
- plan execution
- state transitions