Speaker: Oliver Charles
The classical planning branch of AI - one of the oldest branches of AI
- is primarily interested in determining a sequence of actions to move
from a known state to another state that satisfies some conditions
required by an operator. Traditionally, this work has happened in the
very physical space of moving robots, but it's so much more general!
In this talk, Ollie will demonstrate his work on a Haskell DSL to
interact to the state of the art general purpose solver "Fast
Downward", but in the context of automating a hypothetical smart home.