Sciweavers

VL
2010
IEEE

Causal Reasoning with Neuron Diagrams

13 years 2 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely on “neuron diagrams”, a domain-specific visual language for discussing and reasoning about causal relationships and the concept of causation itself. In this paper we formalize the syntax and semantics of neuron diagrams. We discuss existing algorithms for identifying causes in neuron diagrams, show how these approaches are flawed, and propose solutions to these problems. We separate the standard representation of a dynamic execution of a neuron diagram from its static definition and define two separate, but related semantics, one for the causal effects of neuron diagrams and one for the identification of causes themselves. Most significantly, we propose a simple language extension that supports a clear, consistent, and comprehensive algorithm for automatic causal inference.
Martin Erwig, Eric Walkingshaw
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where VL
Authors Martin Erwig, Eric Walkingshaw
Comments (0)