Planning in Action Formalisms based on DLs: First Results.
Maja MilicicPublished in: Description Logics (2007)
Keyphrases
- action selection
- action theories
- knowledge representation formalisms
- description logics
- planning problems
- action sequences
- plan execution
- heuristic search
- nonmonotonic reasoning
- motion planning
- sensing actions
- domain independent
- logic programming
- derived predicates
- enforced hill climbing
- computational properties
- stochastic domains
- initial state
- reasoning tasks
- ai planning
- decision support
- knowledge representation
- planning process
- knowledge base
- blocks world
- reasoning problems
- representing knowledge
- external events
- fluent calculus
- action selection mechanism