用于研究与解释因果关系的领域特定嵌入式语言
编程语言
2011-09-06 v1
摘要
我们提出了一种用 Haskell 编写的领域特定嵌入式语言(DSEL),以支持对因果关系的哲学研究与实际解释。该语言提供了由事件组成的情境建模构造,以及用于可靠地确定这些事件之间产生的复杂因果关系的函数。它能够为这些因果关系创建可视化解释,并提供了一种系统地生成替代相关场景及其对应结果与原因的手段。该 DSEL 基于神经元图,这是一种在实践中确立已久并已成功用于因果关系解释与研究的可视化表示法。除了可供神经元图用户直接使用外,该 DSEL 还具有可扩展性,允许因果关系专家扩展该表示法以引入特定用途的因果关系构造。该 DSEL 还扩展了神经元图的表示法,使其能够处理非布尔值,从而提高了其表达能力,并为因果关系研究及其应用提供了新的可能性。
引用
@article{arxiv.1109.0780,
title = {A DSEL for Studying and Explaining Causation},
author = {Eric Walkingshaw and Martin Erwig},
journal= {arXiv preprint arXiv:1109.0780},
year = {2011}
}
备注
In Proceedings DSL 2011, arXiv:1109.0323