Formal deductive logic, used to express and reason over declarative, axiomatizable content, captures, we now know, essentially all of what is known in mathematics and physics, and captures as well the details of the proofs by which such knowledge has been secured. This is certainly impressive, but deductive logic alone cannot enable rational adjudication of arguments that are at variance (however much additional information is added). After affirming a fundamental directive, according to which argumentation should be the basis for human-centric AI, we introduce and employ both a deductive and-crucially-an inductive .
View Article and Find Full Text PDFThe common view of the transition between subitizing and numerosity estimation regimes is that there is a hard bound on the subitizing range, and beyond this range, people estimate. However, this view does not adequately address the behavioral signatures of enumeration under conditions of attentional load or in the immediate post-subitizing range. The possibility that there might exist a numerosity range where both processes of subitizing and estimation operate in conjunction has so far been ignored.
View Article and Find Full Text PDFWhen comparing the roles of the lightning strike and the dry climate in causing the forest fire, one might think that the lightning strike is more of a cause than the dry climate, or one might think that the lightning strike completely caused the fire while the dry conditions did not cause it at all. Psychologists and philosophers have long debated whether such causal judgments are graded; that is, whether people treat some causes as stronger than others. To address this debate, we first reanalyzed data from four recent studies.
View Article and Find Full Text PDFWhen the absence of an event causes some outcome, it is an instance of omissive causation. For instance, not eating lunch may cause you to be hungry. Recent psychological proposals concur that the mind represents causal relations, including omissive causal relations, through mental simulation, but they disagree on the form of that simulation.
View Article and Find Full Text PDFPeople more frequently select norm-violating factors, relative to norm-conforming ones, as the cause of some outcome. Until recently, this abnormal-selection effect has been studied using retrospective vignette-based paradigms. We use a novel set of video stimuli to investigate this effect for prospective causal judgments-that is, judgments about the cause of some future outcome.
View Article and Find Full Text PDFWe report novel findings from experiments on the enumeration of canonical patterns under attentional load. While previous studies have shown that the process of enumerating randomized arrangements can be disrupted by attentional load, the effect of attentional load on canonical patterns has been unexplored. To investigate this case, we adapted a spatial dual-task paradigm previously used to study attentional disruption during the enumeration of randomized arrangements.
View Article and Find Full Text PDFChildhood obesity is an undeniable reality that has rapidly increased in many countries. Obesity at an early age not only increases the risks of chronic diseases but also produces a problem for the whole healthcare system. One way to alleviate this problem is to provide each patient with an appropriate menu that is defined by a mathematical model.
View Article and Find Full Text PDFThe diversity of research on visual attention and multiple-object tracking presents challenges for anyone hoping to develop a unified account. One key challenge is identifying the attentional limitations that give rise to competition among targets during tracking. To address this challenge, we present a computational model of object tracking that relies on two attentional mechanisms: serial selection and parallel enhancement.
View Article and Find Full Text PDFSome causal relations refer to causation by commission (e.g., "A gunshot causes death"), and others refer to causation by omission (e.
View Article and Find Full Text PDFThe aim of this study was to demonstrate proof-of-concept feasibility for the use of human neural stem cells (NSCs) for high-throughput screening (HTS) applications. For this study, an adherent human induced pluripotent stem (iPS) cell-derived long-term, self-renewing, neuroepithelial-like stem (lt-NES) cell line was selected as a representative NSC. Here, we describe the automated large-scale serum-free culture ("scale-up") of human lt-NES cells on the CompacT SelecT cell culture robotic platform, followed by their subsequent automated "scale-out" into a microwell plate format.
View Article and Find Full Text PDFBackground: Human umbilical cord blood-derived unrestricted somatic stem cells (USSCs), which are capable of multilineage differentiation, are currently under investigation for a number of therapeutic applications. A major obstacle to their clinical use is the fact that in vitro expansion is still dependent upon fetal calf serum, which could be a source of pathogens. In this study, we investigate the capacity of three different stem cell culture media to support USSCs in serum-free conditions; HEScGRO, PSM and USSC growth medium ACF.
View Article and Find Full Text PDFWe describe a cognitive architecture for creating more robust intelligent systems. Our approach is to enable hybrids of algorithms based on different computational formalisms to be executed. The architecture is motivated by some features of human cognitive architecture and the following beliefs: 1) Most existing computational methods often exhibit some of the characteristics desired of intelligent systems at the cost of other desired characteristics and 2) a system exhibiting robust intelligence can be designed by implementing hybrids of these computational methods.
View Article and Find Full Text PDFComputational models will play an important role in our understanding of human higher-order cognition. How can a model's contribution to this goal be evaluated? This article argues that three important aspects of a model of higher-order cognition to evaluate are (a) its ability to reason, solve problems, converse, and learn as well as people do; (b) the breadth of situations in which it can do so; and (c) the parsimony of the mechanisms it posits. This article argues that fits of models to quantitative experimental data, although valuable for other reasons, do not address these criteria.
View Article and Find Full Text PDFNat Biotechnol
July 2007
The International Stem Cell Initiative characterized 59 human embryonic stem cell lines from 17 laboratories worldwide. Despite diverse genotypes and different techniques used for derivation and maintenance, all lines exhibited similar expression patterns for several markers of human embryonic stem cells. They expressed the glycolipid antigens SSEA3 and SSEA4, the keratan sulfate antigens TRA-1-60, TRA-1-81, GCTM2 and GCT343, and the protein antigens CD9, Thy1 (also known as CD90), tissue-nonspecific alkaline phosphatase and class 1 HLA, as well as the strongly developmentally regulated genes NANOG, POU5F1 (formerly known as OCT4), TDGF1, DNMT3B, GABRB3 and GDF3.
View Article and Find Full Text PDFThe U4/U6*U5 tri-snRNP complex is the catalytic core of the pre-mRNA splicing machinery. The thioredoxin-like protein hDim1 (U5-15 kDa) constitutes an essential component of the U5 particle, and its functions have been reported to be highly conserved throughout evolution. Recently, the Dim1-like protein (DLP) family has been extended to other proteins harboring similar sequence motifs.
View Article and Find Full Text PDFCyclin dependent kinases (CDKs) are key regulators of the cell cycle progression and therefore constitute excellent targets for the design of anticancer agents. Most of the inhibitors identified to date inhibit kinase activity by interfering with the ATP-binding site of CDKs. We recently proposed that the protein/protein interface and conformational changes required in the molecular mechanism of CDK2-cyclin A activation were potential targets for the design of specific inhibitors of cell cycle progression.
View Article and Find Full Text PDF