2026-09-19T01:27:35Zhttps://dspace.mit.edu/server/oai/request

oai:dspace.mit.edu:1721.1/1385172026-06-17T14:47:09Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022

Armando Solar Lezama. Tavares, Zenna. Massachusetts Institute of Technology. Department of Brain and Cognitive Sciences. Massachusetts Institute of Technology. Department of Brain and Cognitive Sciences 2021-12-17T17:04:32Z 2021-12-17T17:04:32Z 2020 2020 https://hdl.handle.net/1721.1/138517 1280902217 Thesis: Ph. D., Massachusetts Institute of Technology, Department of Brain and Cognitive Sciences, February, 2020 Manuscript. Includes bibliographical references (pages 139-149). Human reasoning is complex, messy, and approximate, and as a result, has been subject to a millennia-long enterprise to extract principles that are simple, neat, and impeccable. This enterprise is incomplete; there are acts of reasoning that humans perform everyday, often effortlessly, that remain both poorly understood and beyond the capabilities of modern methods of artificial intelligence. Specifically, humans understand the causal structure of the world, and mentally manipulate it to imagine worlds that could have been but were not, and even worlds that could never exist in reality. This thesis investigates computational principles of imaginative reasoning; develops programming languages to express the knowledge upon which imaginative reasoning relies, and upon this foundation introduces practical algorithms of automatic inference. Concretely, we introduce probabilistic programming languages - which encode causal probabilistic models as programs - with two new forms of inference. The first is distributional inference, which means to reason with statistical information rather than observational data. This allows us for instance to address problems of algorithmic fairness, robustness, and perform parameter estimation using data about probabilities, expectations and other distributional properties. The second is causal inference, which allows us in complex simulation models to reason about counterfactual what-if scenarios, as well as causation, i.e., whether some event A is the cause of some other event B. To perform inference, we introduce a number of new algorithms. Unlike traditional methods, these modify the internal structure of the model or reinterpret how it is executed. We introduce parametric inversion, which inverts the causal structure to literally run programs in reverse from observations to causes, and predicate exchange, which relaxes Boolean operators to make inference more tractable. Collectively, these contributions shrink the gap between human and machine reasoning, as well as serve as practical tools for scientific modelling and inference. by Zenna Tavares. Ph.D. Ph. D. Massachusetts Institute of Technology, Department of Brain and Cognitive Sciences 149 pages eng Massachusetts Institute of Technology MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided. http://dspace.mit.edu/handle/1721.1/7582 Brain and Cognitive Sciences. Imaginative reasoning in probabilistic programs Thesis application/pdf 2021-12-17T17:04:32Z Publication Doctoral Brain unknown unknown <Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="ce694f20-fbb2-4c85-91a4-fadfb911c449"> <Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type> <Language>eng</Language> <Title>Imaginative reasoning in probabilistic programs</Title> <PublishedIn> <Publication> </Publication> </PublishedIn> <PublicationDate>2020</PublicationDate> <Authors> <Author> <DisplayName>Tavares, Zenna.</DisplayName> <Affiliation> <OrgUnit> </OrgUnit> </Affiliation> </Author> </Authors> <Editors> </Editors> <Publishers> <Publisher> <DisplayName>Massachusetts Institute of Technology</DisplayName> <OrgUnit /> </Publisher> </Publishers> <License>http://dspace.mit.edu/handle/1721.1/7582</License> <Keyword>Brain and Cognitive Sciences.</Keyword> <Abstract>Human reasoning is complex, messy, and approximate, and as a result, has been subject to a millennia-long enterprise to extract principles that are simple, neat, and impeccable. This enterprise is incomplete; there are acts of reasoning that humans perform everyday, often effortlessly, that remain both poorly understood and beyond the capabilities of modern methods of artificial intelligence. Specifically, humans understand the causal structure of the world, and mentally manipulate it to imagine worlds that could have been but were not, and even worlds that could never exist in reality. This thesis investigates computational principles of imaginative reasoning; develops programming languages to express the knowledge upon which imaginative reasoning relies, and upon this foundation introduces practical algorithms of automatic inference. Concretely, we introduce probabilistic programming languages - which encode causal probabilistic models as programs - with two new forms of inference. The first is distributional inference, which means to reason with statistical information rather than observational data. This allows us for instance to address problems of algorithmic fairness, robustness, and perform parameter estimation using data about probabilities, expectations and other distributional properties. The second is causal inference, which allows us in complex simulation models to reason about counterfactual what-if scenarios, as well as causation, i.e., whether some event A is the cause of some other event B. To perform inference, we introduce a number of new algorithms. Unlike traditional methods, these modify the internal structure of the model or reinterpret how it is executed. We introduce parametric inversion, which inverts the causal structure to literally run programs in reverse from observations to causes, and predicate exchange, which relaxes Boolean operators to make inference more tractable. Collectively, these contributions shrink the gap between human and machine reasoning, as well as serve as practical tools for scientific modelling and inference.</Abstract> <Access xmlns="http://purl.org/coar/access_right" > </Access> </Publication>