Angelic Semantics for High-Level Actions.
Bhaskara MarthiStuart J. RussellJason Andrew WolfePublished in: ICAPS (2007)
Keyphrases
- high level
- low level
- semantic information
- action language
- decision theoretic
- high level semantics
- logic programming
- action theories
- formal semantics
- conceptual model
- human actions
- situation calculus
- low level features
- higher level
- plan recognition
- speech acts
- goal directed
- contextual information
- programming language
- default reasoning
- reinforcement learning