The probability of conditionals: A review.
Ontology highlight
ABSTRACT:
SUBMITTER: Lopez-Astorga M
PROVIDER: S-EPMC8231749 | biostudies-literature |
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:Counterfactual thinking is ubiquitous in everyday life and an important aspect of cognition and emotion. Although counterfactual thought has been argued to differ from processing factual or hypothetical information, imaging data which elucidate these differences on a neural level are still scarce. We investigated the neural correlates of processing counterfactual sentences under visual and aural presentation. We compared conditionals in subjunctive mood which explicitly contradicted previously presented facts (i.e. counterfactuals) to conditionals framed in indicative mood which did not contradict factual world knowledge and thus conveyed a hypothetical supposition. Our results show activation in right occipital cortex (cuneus) and right basal ganglia (caudate nucleus) during counterfactual sentence processing. Importantly the occipital activation is not only present under visual presentation but also with purely auditory stimulus presentation, precluding a visual processing artifact. Thus our results can be interpreted as reflecting the fact that counterfactual conditionals pragmatically imply the relevance of keeping in mind both factual and supposed information whereas the hypothetical conditionals imply that real world information is irrelevant for processing the conditional and can be omitted. The need to sustain representations of factual and suppositional events during counterfactual sentence processing requires increased mental imagery and integration efforts. Our findings are compatible with predictions based on mental model theory.
| S-EPMC3610017 | biostudies-literature
Project description:In this paper, we propose a unified logical framework for representing and analyzing various forms of correlated information change. Our main thesis is that "logical dynamics," in the sense of van Benthem (Exploring logical dynamics. CSLI Publications, Stanford, 1996; Logical dynamics of information and interaction. Cambridge University Press, Cambridge, 2011), and in particular dynamic epistemic notions of conditional, as developed in Baltag and Smets (Electron Notes Theor Comput Sci 165:5-21, 2006a; Stud Log 89:185-209, 2008a; Texts in logic and games. Amsterdam University Press, Amsterdam, pp 9-58, 2008b), play a central role in understanding and modeling a wide range of apparently very different information-gathering phenomena which do have one specific feature in common, namely the very act of learning new information may directly change the reality that is being learned. On the one hand, we focus on the way in which an introspective agent changes her beliefs when learning new higher-order information, i.e., information that may refer to her own beliefs. On the other hand, we analyze situations in which an observer learns about a phenomenon by performing observations that may perturb the very phenomenon under study, as in the case of quantum measurements, or observations in social sciences, psychology and medicine. Our formal techniques are based on ideas from dynamic logic and on the modeling of "dynamic conditionals." We offer a semantics based on "test frames," i.e., Kripke frames labeled by propositional formulae which yields a unified setting for the two types of correlated information change under study. We show how this framework can be used to analyze the ontic and epistemic-informational aspects of quantum measurements and to compare them with other types of observation, testing, belief revision, counterfactual conditionals, etc.
| S-EPMC7089657 | biostudies-literature
Project description:Species taxonomy of the Neotropical hoverfly genus Peradon Reemer (Diptera: Syrphidae, Microdontinae)
| PRJEB33961 | ENA
Project description:A research link between conditional reasoning and mathematics has been reported only for late adolescents and adults, despite claims about the pivotal importance of conditional reasoning, i.e., reasoning with if-then statements, in mathematics. Secondary students' problems with deductive reasoning in mathematics have been documented for a long time. However, evidence from developmental psychology shows that even elementary students possess some early conditional reasoning skills in familiar contexts. It is still an open question to what extent conditional reasoning with mathematical concepts differs from conditional reasoning in familiar everyday contexts. Based on Mental Model Theory (MMT) of conditional reasoning, we assume that (mathematical) content knowledge will influence the generation of models, when conditionals concern mathematical concepts. In a cross-sectional study, 102 students in Cyprus from grades 2, 4, and 6 solved four conditional reasoning tasks on each type of content (everyday and mathematical). All four logical forms, modus ponens (MP), modus tollens (MT), denial of the antecedent (DA), and affirmation of the consequent (AC), were included in each task. Consistent with previous findings, even second graders were able to make correct inferences on some logical forms. Controlling for Working Memory (WM), there were significant effects of grade and logical form, with stronger growth on MP and AC than on MT and DA. The main effect of context was not significant, but context interacted significantly with logical form and grade level. The pattern of results was not consistent with the predictions of MMT. Based on analyses of students' chosen responses, we propose an alternative mechanism explaining the specific pattern of results. The study indicates that deductive reasoning skills arise from a combination of knowledge of domain-general principles and domain-specific knowledge. It extends results concerning the gradual development of primary students' conditional reasoning with everyday concepts to reasoning with mathematical concepts adding to our understanding of the link between mathematics and conditional reasoning in primary school. The results inspire the development of educational interventions, while further implications and limitations of the study are discussed.
| S-EPMC7658316 | biostudies-literature
Project description:Conditional mutagenesis is becoming a method of choice for studying gene function, but constructing conditional alleles is often laborious, limited by target gene structure, and at times, prone to incomplete conditional ablation. To address these issues, we developed a technology termed conditionals by inversion (COIN). Before activation, COINs contain an inverted module (COIN module) that lies inertly within the antisense strand of a resident gene. When inverted into the sense strand by a site-specific recombinase, the COIN module causes termination of the target gene's transcription and simultaneously provides a reporter for tracking this event. COIN modules can be inserted into natural introns (intronic COINs) or directly into coding exons as part of an artificial intron (exonic COINs), greatly simplifying allele design and increasing flexibility over previous conditional KO approaches. Detailed analysis of over 20 COIN alleles establishes the reliability of the method and its broad applicability to any gene, regardless of exon-intron structure. Our extensive testing provides rules that help ensure success of this approach and also explains why other currently available conditional approaches often fail to function optimally. Finally, the ability to split exons using the COIN's artificial intron opens up engineering modalities for the generation of multifunctional alleles.
| S-EPMC3752204 | biostudies-literature
Project description:Three experiments tracked participants' eye-movements to examine the time course of comprehension of the dual meaning of counterfactuals, such as "if there had been oranges then there would have been pears." Participants listened to conditionals while looking at images in the visual world paradigm, including an image of oranges and pears that corresponds to the counterfactual's conjecture, and one of no oranges and no pears that corresponds to its presumed facts, to establish at what point in time they consider each one. The results revealed striking individual differences: some participants looked at the negative image and the affirmative one, and some only at the affirmative image. The first experiment showed that participants who looked at the negative image increased their fixation on it within half a second. The second experiment showed they do so even without explicit instructions, and the third showed they do so even for printed words.
| S-EPMC6587111 | biostudies-literature
Project description:BACKGROUND:Most machine learning approaches only provide a classification for binary responses. However, probabilities are required for risk estimation using individual patient characteristics. It has been shown recently that every statistical learning machine known to be consistent for a nonparametric regression problem is a probability machine that is provably consistent for this estimation problem. OBJECTIVES:The aim of this paper is to show how random forests and nearest neighbors can be used for consistent estimation of individual probabilities. METHODS:Two random forest algorithms and two nearest neighbor algorithms are described in detail for estimation of individual probabilities. We discuss the consistency of random forests, nearest neighbors and other learning machines in detail. We conduct a simulation study to illustrate the validity of the methods. We exemplify the algorithms by analyzing two well-known data sets on the diagnosis of appendicitis and the diagnosis of diabetes in Pima Indians. RESULTS:Simulations demonstrate the validity of the method. With the real data application, we show the accuracy and practicality of this approach. We provide sample code from R packages in which the probability estimation is already available. This means that all calculations can be performed using existing software. CONCLUSIONS:Random forest algorithms as well as nearest neighbor approaches are valid machine learning methods for estimating individual probabilities for binary responses. Freely available implementations are available in R and may be used for applications.
| S-EPMC3250568 | biostudies-literature
Project description:A comprehensive search of PubMed and Embase was performed in January 2015 to examine the available literature on validated diagnostic models of the pre-test probability of stable coronary artery disease and to describe the characteristics of the models. Studies that were designed to develop and validate diagnostic models of pre-test probability for stable coronary artery disease were included. Data regarding baseline patient characteristics, procedural characteristics, modeling methods, metrics of model performance, risk of bias, and clinical usefulness were extracted. Ten studies involving the development of 12 models and two studies focusing on external validation were identified. Seven models were validated internally, and seven models were validated externally. Discrimination varied between studies that were validated internally (C statistic 0.66-0.81) and externally (0.49-0.87). Only one study presented reclassification indices. The majority of better performing models included sex, age, symptoms, diabetes, smoking, and hyperlipidemia as variables. Only two diagnostic models evaluated the effects on clinical decision making processes or patient outcomes. Most diagnostic models of the pre-test probability of stable coronary artery disease have had modest success, and very few present data regarding the effects of these models on clinical decision making processes or patient outcomes.
| S-EPMC5350262 | biostudies-other
Project description:It is generally assumed that all estrogen receptor positive (ER+) breast cancers proliferate in response to estrogen and therefore examples of estrogen-induced regression of ER+ cancers are paradoxical. This review reexamines the estrogen regression paradox for the Luminal A subtype of ER+ breast cancers. The proliferative response to estrogen is shown to depend on the level of ER. Mechanistically, a window of opportunity study of pre-operative estradiol suggested that with higher levels of ER, estradiol could activate the DREAM-MMB (Dimerization partner, Retinoblastoma-like proteins, E2F4, and MuvB – MYB-MuvB) pathway to decrease proliferation. The response of breast epithelium and the incidence of breast cancers during hormonal variations that occur during the menstrual cycle and at the menopausal transition respectively suggest that a single hormone, either estrogen, progesterone or androgen could activate the DREAM pathway leading to reversible cell cycle arrest. Conversely, the presence of two hormones, could switch the DREAM-MMB complex to a pro-proliferative pathway. Using publicly available data, we examine the gene expression changes after aromatase inhibitors and ICI 182,780 to provide support for the hypothesis. This review suggests that it might be possible to integrate all current hormonal therapies for Luminal A tumors within a single theoretical schema.
2024-07-03 | GSE268001 | GEO
Project description:A base-pairing probability matrix (BPPM) stores the probabilities for every possible base pair in an RNA sequence and has been used in many algorithms in RNA informatics (e.g., RNA secondary structure prediction and motif search). In this study, we propose a novel algorithm to perform iterative updates of a given BPPM, satisfying marginal probability constraints that are (approximately) given by recently developed biochemical experiments, such as SHAPE, PAR, and FragSeq. The method is easily implemented and is applicable to common models for RNA secondary structures, such as energy-based or machine-learning-based models. In this article, we focus mainly on the details of the algorithms, although preliminary computational experiments will also be presented.
| S-EPMC3514005 | biostudies-literature