Actions you can handle: dependent types for AI plans.
Alasdair HillEkaterina KomendantskayaMatthew L. DaggittRonald P. A. PetrickPublished in: TyDe@ICFP (2021)
Keyphrases
- plan recognition
- artificial intelligence
- situation calculus
- plan execution
- world model
- partially ordered
- initial state
- machine learning
- ai systems
- case based reasoning
- action sequences
- automated planning
- partial order planning
- decision theoretic
- human actions
- intelligent systems
- plan generation
- ai community
- sensing actions
- john mccarthy