Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change.
Erik SandewallPublished in: HART (1997)
Keyphrases
- action descriptions
- low level
- high level
- action language
- action theories
- reasoning about actions
- higher level
- low level features
- mid level
- situation calculus
- modal logic
- logic programming
- description language
- visual features
- middle level
- semantic information
- domain specific
- incomplete information
- lower level
- automated reasoning
- initial state