Translating concurrent action oriented specifications to synchronous guarded actions.
Jens BrandtKlaus SchneiderSandeep K. ShuklaPublished in: LCTES (2010)
Keyphrases
- concurrent actions
- situation calculus
- action language
- human actions
- reasoning about actions
- action rules
- action selection
- indirect effects
- planning problems
- action detection
- action theories
- action sequences
- initial state
- recognizing human actions
- recognizing actions
- continuous action
- action descriptions
- action recognition
- description language
- action space
- partial observations
- joint action
- external events
- concurrent execution
- high level
- partially observable domains
- transition systems
- specification language
- asynchronous communication
- action primitives
- temporally extended
- internal state
- space time
- condition action rules
- action classification
- derived predicates
- sensing actions
- plan execution
- body motions
- delay insensitive
- goal directed
- action models