LDR | | 00000nam u2200205 4500 |
001 | | 000000432764 |
005 | | 20200224135335 |
008 | | 200131s2019 ||||||||||||||||| ||eng d |
020 | |
▼a 9781085615174 |
035 | |
▼a (MiAaPQ)AAI13859577 |
040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
082 | 0 |
▼a 310 |
100 | 1 |
▼a Brule, Joshua . |
245 | 10 |
▼a Causal Programming. |
260 | |
▼a [S.l.]:
▼b University of Maryland, College Park.,
▼c 2019. |
260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2019. |
300 | |
▼a 167 p. |
500 | |
▼a Source: Dissertations Abstracts International, Volume: 81-03, Section: B. |
500 | |
▼a Advisor: Reggia, James A. |
502 | 1 |
▼a Thesis (Ph.D.)--University of Maryland, College Park, 2019. |
506 | |
▼a This item must not be sold to any third party vendors. |
520 | |
▼a Causality is central to scientific inquiry. There is broad agreement on the meaning of causal statements, such as "Smoking causes cancer", or, "Applying pesticides affects crop yields". However, formalizing the intuition underlying such statements and conducting rigorous inference is difficult in practice. Accordingly, the overall goal of this dissertation is to reduce the difficulty of, and ambiguity in, causal modeling and inference. In other words, the goal is to make it easy for researchers to state precise causal assumptions, understand what they represent, understand why they are necessary, and to yield precise causal conclusions with minimal difficulty. Using the framework of structural causal models, I introduce a causation coefficient as an analogue of the correlation coefficient, analyze its properties, and create a taxonomy of correlation/causation relationships. Analyzing these relationships provides insight into why correlation and causation are often conflated in practice, as well as a principled argument as to why formal causal analysis is necessary. Next, I introduce a theory of causal programming that unifies a large number of previously separate problems in causal modeling and inference. I describe the use and implementation of a causal programming language as an embedded, domain-specific language called 'Whittemore'. Whittemore permits rigorously identifying and estimating interventional queries without requiring the user to understand the details of the underlying inference algorithms. Finally, I analyze the computational complexity in determining the equilibrium distribution of cyclic causal models. I show this is uncomputable in the general case, under mild assumptions about the distributions of the model's variables, suggesting that the structural causal model focus on acyclic causal models is a 'natural' limitation. Further extensions of the concept will have to give up either completeness or require the user to make additional - likely parametric - model assumptions. Together, this work supports the thesis that rigorous causal modeling and inference can be effectively abstracted over, giving a researcher access to all of the relevant details of causal modeling while encapsulating and automating the irrelevant details of inference. |
590 | |
▼a School code: 0117. |
650 | 4 |
▼a Computer science. |
650 | 4 |
▼a Statistics. |
690 | |
▼a 0984 |
690 | |
▼a 0463 |
710 | 20 |
▼a University of Maryland, College Park.
▼b Computer Science. |
773 | 0 |
▼t Dissertations Abstracts International
▼g 81-03B. |
773 | |
▼t Dissertation Abstract International |
790 | |
▼a 0117 |
791 | |
▼a Ph.D. |
792 | |
▼a 2019 |
793 | |
▼a English |
856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15490889
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
980 | |
▼a 202002
▼f 2020 |
990 | |
▼a ***1008102 |
991 | |
▼a E-BOOK |