A DSEL for Studying and Explaining Causation
We present a domain-specific embedded language (DSEL) in Haskell that supports the philosophical study and practical explanation of causation. The language provides constructs for modeling situations comprised of events and functions for reliably determining the complex causal relationships that eme...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2011-09-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1109.0780v1 |
| _version_ | 1818665249252835328 |
|---|---|
| author | Eric Walkingshaw Martin Erwig |
| author_facet | Eric Walkingshaw Martin Erwig |
| author_sort | Eric Walkingshaw |
| collection | DOAJ |
| description | We present a domain-specific embedded language (DSEL) in Haskell that supports the philosophical study and practical explanation of causation. The language provides constructs for modeling situations comprised of events and functions for reliably determining the complex causal relationships that emerge between these events. It enables the creation of visual explanations of these causal relationships and a means to systematically generate alternative, related scenarios, along with corresponding outcomes and causes. The DSEL is based on neuron diagrams, a visual notation that is well established in practice and has been successfully employed for causation explanation and research. In addition to its immediate applicability by users of neuron diagrams, the DSEL is extensible, allowing causation experts to extend the notation to introduce special-purpose causation constructs. The DSEL also extends the notation of neuron diagrams to operate over non-boolean values, improving its expressiveness and offering new possibilities for causation research and its applications. |
| first_indexed | 2024-12-17T05:45:38Z |
| format | Article |
| id | doaj.art-602420f4b05b4456be9ee98749691c29 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-17T05:45:38Z |
| publishDate | 2011-09-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-602420f4b05b4456be9ee98749691c292022-12-21T22:01:19ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-09-0166Proc. DSL 201114316710.4204/EPTCS.66.7A DSEL for Studying and Explaining CausationEric WalkingshawMartin ErwigWe present a domain-specific embedded language (DSEL) in Haskell that supports the philosophical study and practical explanation of causation. The language provides constructs for modeling situations comprised of events and functions for reliably determining the complex causal relationships that emerge between these events. It enables the creation of visual explanations of these causal relationships and a means to systematically generate alternative, related scenarios, along with corresponding outcomes and causes. The DSEL is based on neuron diagrams, a visual notation that is well established in practice and has been successfully employed for causation explanation and research. In addition to its immediate applicability by users of neuron diagrams, the DSEL is extensible, allowing causation experts to extend the notation to introduce special-purpose causation constructs. The DSEL also extends the notation of neuron diagrams to operate over non-boolean values, improving its expressiveness and offering new possibilities for causation research and its applications.http://arxiv.org/pdf/1109.0780v1 |
| spellingShingle | Eric Walkingshaw Martin Erwig A DSEL for Studying and Explaining Causation Electronic Proceedings in Theoretical Computer Science |
| title | A DSEL for Studying and Explaining Causation |
| title_full | A DSEL for Studying and Explaining Causation |
| title_fullStr | A DSEL for Studying and Explaining Causation |
| title_full_unstemmed | A DSEL for Studying and Explaining Causation |
| title_short | A DSEL for Studying and Explaining Causation |
| title_sort | dsel for studying and explaining causation |
| url | http://arxiv.org/pdf/1109.0780v1 |
| work_keys_str_mv | AT ericwalkingshaw adselforstudyingandexplainingcausation AT martinerwig adselforstudyingandexplainingcausation AT ericwalkingshaw dselforstudyingandexplainingcausation AT martinerwig dselforstudyingandexplainingcausation |