u/quchenin r/haskell • Recommends
Oliver Charles – Fast Downward: Solving Declarative Planning Problems in Haskell – MuniHac 2019
0:00 / 0:00
#haskell#fastdownward#declarativeplanning
MuniHac 2019: Fast Downward: Solving Declarative Planning problems in Haskell
TNG Technology Consulting GmbH
5K subscribers • 17 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Ollie Charles, Software Engineer at CircuitHub
- May be out of date. Uploaded 7 years ago, in an area where tools change fast.
Intermediate. Assumes working knowledge.
3.3K views7 years ago1 recommendation
Programming languagesAI and machine learningFunctional programmingAlgorithms
Ollie Charles demonstrates a Haskell DSL for interacting with the Fast Downward classical planning solver to automate a smart home.
Title: MuniHac 2019: Fast Downward: Solving Declarative Planning problems in Haskell Speaker: Ollie Charles @acid2, CircuitHub Abstract: 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. Links: hackage.haskell.org/package/fast-downward fast-downward.org Recorded at MuniHac 2019 / munihac.de/2019.html by Maximilian Huber / TNG Technology Consulting GmbHWhy it's here
1 person recommends thisWhat people say. Recommended as an interesting application of Haskell for classical AI planning problems.