We present a Haskell-embedded DSL for multi-attribute, multi-layered decision making. In addition to solving decision problems, an important feature of the DSL is the ability to generate explanations of why a computed optimal solution is better than its alternatives.

The functional approach and Haskell’s type system support a high-level formulation of decision-making problems, which facilitates a number of innovations, including the gradual evolution and adaptation of problem representations, a more user-friendly form of sensitivity analysis based on problem domain data, and fine-grained control over explanations.