Actions You Can Handle: Dependent Types for AI Plans.
Alasdair HillEkaterina KomendantskayaMatthew L. DaggittRonald P. A. PetrickPublished in: CoRR (2021)
Keyphrases
- plan recognition
- artificial intelligence
- planning systems
- partially ordered
- plan execution
- expert systems
- case based reasoning
- initial state
- plan generation
- intelligent behavior
- world model
- automated planning
- planning problems
- ai technologies
- data sets
- temporally extended
- plan library
- macro actions
- action sequences
- goal directed
- domain independent
- dynamic environments
- learning algorithm
- machine learning