Fast Downward: Solving Declarative Planning problems in Haskell

City University, College Building,

St John Street, · London. EC1V 4PB

How to find us

In room A21, on the ground floor, straight ahead along the corridor and the room is on the left.

Location image of event venue


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.