MADMAX: a DSL for explanatory decision making

MADMAX: a DSL for explanatory decision making
复制标题

MADMAX:用于解释性决策的 DSL

DOI:
10.1145/3486609.3487206
复制
发表时间:
2021
期刊:
ACM SIGPLAN Conference on Generative Programming: Concepts & Experiences
影响因子:
--
通讯作者:
Kumar, Prashant
Kumar, Prashant
中科院分区:
--
文献类型:
--
作者:
Erwig, Martin;Kumar, Prashant

文献摘要

参考文献

被引文献

相似文献

MADMAX是一个嵌入Haskell的DSL,用于多属性、多层决策。这种DSL的一个重要特征是能够生成为什么计算出的最优解优于其替代方案的解释。函数方法和Haskell的类型系统支持决策问题的高级公式化,这促进了许多创新,包括问题表示的逐步演变和适应,基于问题域数据的更用户友好的敏感性分析形式,和对解释的精细控制。
MADMAX is a Haskell-embedded DSL for multi-attribute, multi-layered decision making. An important feature of this 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.
IBM AS/400 新产品发布流程确保满意度
DOI: --
发表时间: 1992
期刊:
影响因子: --
作者:
Victor Tang;Emilio Collar
通讯作者: Emilio Collar
解释其工作的命令式功能程序
DOI: --
发表时间: 2017
期刊: Proc. ACM Program. Lang.
影响因子: --
作者:
W. Ricciotti;J. Stolarek;Roly Perera;J. Cheney
通讯作者: J. Cheney
用于程序解释的适应性跟踪
DOI: 10.1007/978-3-030-89051-3_12
发表时间: 2021
期刊: Asian Symposium on Programming Languages and Systems
影响因子: --
作者:
Bajaj, Divya;Erwig, Martin;Fedorin, Danila;Gay, Kai
通讯作者: Gay, Kai
解释其工作的函数式程序
DOI: 10.1145/2364527.2364579
发表时间: 2012
期刊: --
影响因子: --
作者:
Perera R
通讯作者: Perera R
简洁程序跟踪的视觉符号
DOI: 10.1109/vl/hcc51201.2021.9576441
发表时间: 2021
期刊: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
影响因子: --
作者:
Bajaj, Divya;Erwig, Martin;Fedorin, Danila;Gay, Kai
通讯作者: Gay, Kai