Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning.
Josefina Sierra-SantibáñezPublished in: Ann. Math. Artif. Intell. (2003)
Keyphrases
- knowledge representation
- forward search
- domain independent
- search strategies
- planning systems
- planning problems
- heuristic search
- case study
- selection strategies
- state space search
- optimal planning
- optimal solution
- knowledge base
- reasoning processes
- declarative knowledge
- dynamic programming
- model based reasoning
- heuristic function
- temporal planning
- truth maintenance systems
- heuristic functions
- abductive logic programming
- forward chaining
- classical planning
- heuristic search algorithms
- logical framework
- reasoning process
- logic programming
- combinatorial optimization
- plan execution
- search algorithm
- domain independent planning
- planning graph
- reasoning tasks
- planning process
- ai planning
- htn planning
- incomplete knowledge
- constraint satisfaction
- tabu search
- simulated annealing
- description logics
- expert systems
- blocks world
- real time search algorithms
- enforced hill climbing