Browse
Submit Data
Databases
API
Help

Dataset Information

16 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Kinematic mental simulations in abduction and deduction.

ABSTRACT: We present a theory, and its computer implementation, of how mental simulations underlie the abductions of informal algorithms and deductions from these algorithms. Three experiments tested the theory's predictions, using an environment of a single railway track and a siding. This environment is akin to a universal Turing machine, but it is simple enough for nonprogrammers to use. Participants solved problems that required use of the siding to rearrange the order of cars in a train (experiment 1). Participants abduced and described in their own words algorithms that solved such problems for trains of any length, and, as the use of simulation predicts, they favored "while-loops" over "for-loops" in their descriptions (experiment 2). Given descriptions of loops of procedures, participants deduced the consequences for given trains of six cars, doing so without access to the railway environment (experiment 3). As the theory predicts, difficulty in rearranging trains depends on the numbers of moves and cars to be moved, whereas in formulating an algorithm and deducing its consequences, it depends on the Kolmogorov complexity of the algorithm. Overall, the results corroborated the use of a kinematic mental model in creating and testing informal algorithms and showed that individuals differ reliably in the ability to carry out these tasks.

SUBMITTER: Khemlani SS

PROVIDER: S-EPMC3800996 | biostudies-literature |

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Similar Datasets

Object combination in mental simulations.

Project description:Studies on the presence of mental simulations during language comprehension have typically focused only on single object properties. This study investigates whether two objects are combined in mental simulations, and whether this is influenced by task instructions. In both experiments, participants read sentences describing animals using a tool in some way. After each sentence, they saw an image of a cartoon animal holding a tool, and they indicated whether the animal (Experiment 1) or the tool (Experiment 2) was mentioned in the previous sentence or not. The shown image completely matched, partially matched, partially mismatched, or completely mismatched the preceding sentence. In total, 90 Dutch psychology students took part in Experiment 1, and 92 students took part in Experiment 2, both experiments were pre-registered. The results suggest that mental simulations indeed combine multiple objects during language comprehension and that this is not influenced by task instructions. Regardless of the instruction type, participants always responded quickest in the complete match condition compared to the partial match condition, suggesting that language comprehension leads to the creation of a complete mental simulation.

| S-EPMC7583445 | biostudies-literature

Uncertain deduction and conditional reasoning.

Project description:There has been a paradigm shift in the psychology of deductive reasoning. Many researchers no longer think it is appropriate to ask people to assume premises and decide what necessarily follows, with the results evaluated by binary extensional logic. Most every day and scientific inference is made from more or less confidently held beliefs and not assumptions, and the relevant normative standard is Bayesian probability theory. We argue that the study of "uncertain deduction" should directly ask people to assign probabilities to both premises and conclusions, and report an experiment using this method. We assess this reasoning by two Bayesian metrics: probabilistic validity and coherence according to probability theory. On both measures, participants perform above chance in conditional reasoning, but they do much better when statements are grouped as inferences, rather than evaluated in separate tasks.

| S-EPMC4389288 | biostudies-literature

How are mental simulations updated across sentences?

Project description:We examined how grounded mental simulations are updated when there is an implied change of shape, over the course of two (Experiment 1) and four (Experiment 2) sentences. In each preregistered experiment, 84 psychology students completed a sentence-picture verification task in which they judged as quickly and accurately as possible whether the pictured object was mentioned in the previous sentence. Participants had significantly higher accuracy scores and significantly shorter response times when pictures matched the shape implied by the previous sentence than when pictures mismatched the implied shape. These findings suggest that during language comprehension, mental simulations can be actively updated to reflect new incoming information.

| S-EPMC6677877 | biostudies-literature

Kinematics and observer-animator kinematic similarity predict mental state attribution from Heider-Simmel style animations.

Project description:The ability to ascribe mental states, such as beliefs or desires to oneself and other individuals forms an integral part of everyday social interaction. Animations tasks, in which observers watch videos of interacting triangles, have been extensively used to test mental state attribution in a variety of clinical populations. Compared to control participants, individuals with clinical conditions such as autism typically offer less appropriate mental state descriptions of such videos. Recent research suggests that stimulus kinematics and movement similarity (between the video and the observer) may contribute to mental state attribution difficulties. Here we present a novel adaptation of the animations task, suitable to track and compare animation generator and -observer kinematics. Using this task and a population-derived stimulus database, we confirmed the hypotheses that an animation's jerk and jerk similarity between observer and animator significantly contribute to the correct identification of an animation. By employing random forest analysis to explore other stimulus characteristics, we reveal that other indices of movement similarity, including acceleration- and rotation-based similarity, also predict performance. Our results highlight the importance of movement similarity between observer and animator and raise new questions about reasons why some clinical populations exhibit difficulties with this task.

| S-EPMC8440512 | biostudies-literature

GENOMICON-Seq simulations

Project description:GENOMICON-Seq tool for simulation of realistic amplicon sequencing of viruses and whole exome sequencing of human

| PRJEB81738 | ENA

Induction and deduction in sepsis-induced cardiomyopathy: five typical categories.

Project description:Sepsis is defined as life-threatening organ dysfunction caused by a dysregulated host response to infection. The heart is one of the most important oxygen delivery organs, and dysfunction significantly increases the mortality of the body. Hence, the heart has been studied in sepsis for over half a century. However, the definition of sepsis-induced cardiomyopathy is not unified yet, and the conventional conception seems outdated: left ventricular systolic dysfunction (LVSD) along with enlargement of the left ventricle, recovering in 7 to 10 days. With the application of echocardiography in intensive care units, not only LVSD but also left ventricular diastolic dysfunction, right ventricular dysfunction, and even diffuse ventricular dysfunction have been seen. The recognition of sepsis-induced cardiomyopathy is gradually becoming complete, although our understanding of it is not deep, which has made the diagnosis and treatment stagnate. In this review, we summarize the research on sepsis-induced cardiomyopathy. Women and young people with septic cardiomyopathy are more likely to have LVSD, which may have the same mechanism as stress cardiomyopathy. Elderly people with ischemic cardiomyopathy and hypertension tend to have left ventricular diastolic dysfunction. Patients with mechanical ventilation, acute respiratory distress syndrome or other complications of increased right ventricular afterload mostly have right ventricular dysfunction. Diffuse cardiac dysfunction has also been shown in some studies; patients with mixed or co-existing cardiac dysfunction are more common, theoretically. Thus, understanding the pathophysiology of sepsis-induced cardiomyopathy from the perspective of critical care echocardiography is essential.

| S-EPMC7508431 | biostudies-literature

Is the same brace fit for all? The length of abduction bar in Steenbeek foot abduction brace for Indian children-A pilot study.

Project description:PurposeWe measured the foot size and shoulder width in North Indian children with idiopathic clubfoot and calculated the corresponding metal rod length for abduction brace. The differences in the foot length in unaffected, unilateral and bilateral clubfeet were also measured.Patient and methodsTwo sets of measurements were taken on each child: feet size and shoulder width. Using statistical analysis, the following were compared: Differences in the manual prescribed and our calculated SFAB bar length, foot size in unilateral clubfoot and unaffected foot and both feet in bilateral clubfoot.ResultsThere were 156 patients with 76 unilateral (37 left + 39 right) and 80 bilateral feet. The mean prescribed bar length for foot sizes 8-14 in the Steenbeek manual is 30.18 cm. The mean predicted bar length worked out to be 22.33 cm in our series (p < 0.001). In unilateral clubfoot, the mean foot length (11.9 cm) when matched with unaffected foot (12.6 cm) was comparable (p = 0.08). Bilateral clubfeet lengths (12.29 cm versus 12.3 cm) were also comparable (p = 0.978).ConclusionsThere was significant difference between the prescribed and the predicted bar length in foot sizes 8-14 with a smaller bar length measurement of Indian children. The Ponseti treated unilateral club foot length matched the unaffected foot. The foot lengths in bilateral feet disease were also similar.

| S-EPMC6349614 | biostudies-literature

Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis

Project description:The abduction problem in logic asks whether there exists a formula that is consistent with a given set of axioms and, together with these axioms, suffices to entail a given goal. We propose an approach for solving this problem that is based on syntax-guided enumeration. For scalability, we use a novel procedure that incrementally constructs a solution in disjunctive normal form that is built from enumerated formulas. The procedure can be configured to generate progressively weaker and simpler solutions over the course of a run of the procedure. Our approach is fully general and can be applied over any background logic that is handled by the underlying SMT solver in our approach. Our experiments show our approach compares favorably with other tools for abductive reasoning.

| S-EPMC7324138 | biostudies-literature

Abduction and asylum in the lives of transcription factors.

Project description:Recent studies suggest that there are many nonfunctional transcription factor binding sites along a genome. Although these "decoy" sites compete with the promoter region for binding of transcription factors, they may also protect these proteins from degradation. We show that in the limit of perfect protection, where bound transcription factors are never degraded, the competitive effect of nonfunctional binding sites is completely canceled out by the stability gained from reduced degradation. We examine the response of an autoregulated gene to the total number of transcription factors to quantify the consequences of competition for transcription factors. We show that intuition about this system can be gained by mathematically constructing a single gene with effective parameters that reproduce the behavior of a gene with added decoy sites. In analogy to dressed particles in many-body systems we term this description a "quasi gene." We find that protective decoys buffer against noise by reducing correlations between transcription factors, specifically in the case of production of transcription factors in bursts. We show that the addition of protective decoy sites causes the level of gene expression to approach that predicted from deterministic mass action models. Finally, we show that protective decoy sites decrease the size of the region of parameter space that exhibits bistability.

| S-EPMC2840107 | biostudies-literature

Using payroll deduction to shelter individual health insurance from income tax.

Project description:ObjectiveTo assess the impact of state laws requiring or encouraging employers to establish "section 125" cafeteria plans that shelter employees' premium contributions from tax.Data sourcesAvailable descriptive statistics, 65 key-informant interviews, and relevant documents in study states and nationally, 2008-2009.Study designCase studies were conducted in Indiana, Massachusetts, and Missouri--three states adopting laws in 2007. Descriptive quantitative information came from insurers, regulators, and surveys of employers. In each state, 15-17 semistructured but open-ended interviews were conducted with insurance agents, insurers, government officials, and third-party administration firms, and 29 informed sources were interviewed from a national perspective or other states. Key informants were selected based on their known or reported experience, in a "snowball" fashion until saturation was reached. Interview notes were coded for systematic analysis. Finally, relevant rulings, brochures, instructions, marketing materials, and other documents were collected and analyzed.FindingsDespite the potential for substantial cost savings, use of section 125 plans to purchase individual insurance remained low in these states after 1 or 2 years. Absent a mandate, few employers were strongly motivated to offer these plans in order to retain an adequate workforce, and uncertainty about federal legality deterred doing so. For smaller employers, benefits to owners did not outweigh administrative complexities. Nevertheless, few downsides were found to states mandating or encouraging these plans. In particular, there is little evidence that many employers dropped group coverage as a result.ConclusionsSection 125 plans remain a limited tool for states to reduce the inequitable tax treatment of individually purchased insurance, but a complete remedy requires reform of federal tax law.

| S-EPMC3037787 | biostudies-literature

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data