Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.
Alfredo GabaldonPublished in: IJCAI (2003)
Keyphrases
- situation calculus
- control knowledge
- explanation based learning
- blocks world
- domain independent
- domain knowledge
- event calculus
- initial state
- ai planning
- concurrent actions
- control rules
- domain specific
- knowledge sources
- planning systems
- action theories
- modal logic
- logical language
- fluent calculus
- reasoning about actions
- sensing actions
- domain specific knowledge
- agent programming
- planning domains
- domain dependent
- indirect effects
- planning problems
- general purpose
- domain theory