An Algebra of Sequential Decision Problems

Sequential decision processes and problems are a well established concept in decision theory, with the Bellman equation as a popular choice for describing them. Botta et al have formalised the notion of such problems in Idris. Using dependent types to bridge the gap between description and implementation of complex systems, for purposes of simulation, has been shown to be a good choice. They have illustrated how to use their formulation to model e.g. climate impact research, a very relevant problem today. Presenter: Robert Krook Authors: Robert Krook, Patrik Jansson Presented at TyDe 2019 (https://icfp19.sigplan.org/home/tyde-2019) at ICFP'19 (https://icfp19.sigplan.org/)