LinGraph: a graph-based automated planner for concurrent task planning based on linear logic.
Sitar KortikUluc SaranliPublished in: Appl. Intell. (2017)
Keyphrases
- linear logic
- ai planning
- planning process
- heuristic search
- planning domains
- classical planning
- temporal planning
- mutual exclusion
- planning systems
- automated planning
- proof theoretic
- temporally extended
- forward chaining
- derived predicates
- sequent calculus
- planning problems
- htn planning
- hierarchical task network
- cut elimination
- domain independent
- case based planning
- plan execution
- logical framework
- domain independent planning
- plan quality
- logic programming
- probabilistic planning
- desirable properties
- fixed point
- proof search
- initial state
- abstraction hierarchy
- partial plans
- intuitionistic logic
- planning graph
- probabilistic model