Proof-Carrying Plans: a Resource Logic for AI Planning.
Alasdair HillEkaterina KomendantskayaRonald P. A. PetrickPublished in: CoRR (2020)
Keyphrases
- ai planning
- planning problems
- planning domains
- planning under uncertainty
- planning systems
- automated planning
- proof theory
- linear logic
- model checker
- natural deduction
- integer programming
- action models
- heuristic search
- proof search
- service composition
- macro operators
- classical planning
- domain independent
- web service composition
- orders of magnitude
- logic programming
- automated web service composition
- state space
- control knowledge
- description language
- modal logic
- temporal planning
- plan generation
- initial state
- htn planning
- theorem proving
- conformant planning
- plan recognition
- theorem prover
- planning graph
- partially observable
- search strategies