Verbal IQ of a Four-Year Old Achieved by an AI System

Abstract One view of common-sense reasoning ability is that it is the ability to perform those tasks with verbal inputs and outputs that have traditionally been difficult for computer systems, but are easy for fairly young children. We administered the verbal part of the Wechsler Preschool and Primary Scale of Intelligence (WPPSI-III, Third Edition) to the ConceptNet 4 system. The IQ test's questions (e.g., "Why do we shake hands?" or "What do apples and bananas have in common") were translated into ConceptNet 4 inputs using a combination of the simple natural language processing tools that come with ConceptNet together with short Python programs that we wrote. The question-answering primarily used the part of the ConceptNet system that represents the knowledge as a matrix based on spectral methods (AnalogySpace). We found that the system has a Verbal IQ that is average for a four-year-old child, but below average for 5, 6, and 7 yearolds. Large variations from subtest to subtest indicate potential areas of improvement. In particular, results were strongest for the Vocabulary and Similarities subtests, intermediate for the Information subtest, and lowest for the Comprehension and Word Reasoning subtests. Comprehension is the subtest most strongly associated with common sense. Children's verbal IQ tests offer a new, objective, third-party metric for the evaluation and comparison of common-sense AI systems

Memo1 binds reduced copper ions, interacts with copper chaperone Atox1, and protects against copper-mediated redox activity in\ua0vitro

The protein mediator of ERBB2-driven cell motility 1 (Memo1) is connected to many signaling pathways that play key roles in cancer. Memo1 was recently postulated to bind copper (Cu) ions and thereby promote the generation of reactive oxygen species (ROS) in cancer cells. Since the concentration of Cu as well as ROS are increased in cancer cells, both can be toxic if not well regulated. Here, we investigated the Cu-binding capacity of Memo1 using an array of biophysical methods at reducing as well as oxidizing conditions in\ua0vitro. We find that Memo1 coordinates two reduced Cu (Cu(I)) ions per protein, and, by doing so, the metal ions are shielded from ROS generation. In support of biological relevance, we show that the cytoplasmic Cu chaperone Atox1, which delivers Cu(I) in the secretory pathway, can interact with and exchange Cu(I) with Memo1 in\ua0vitro and that the two proteins exhibit spatial proximity in breast cancer cells. Thus, Memo1 appears to act as a Cu(I) chelator (perhaps shuttling the metal ion to Atox1 and the secretory path) that protects cells from Cu-mediated toxicity, such as uncontrolled formation of ROS. This Memo1 functionality may be a safety mechanism to cope with the increased demand of Cu ions in cancer cells

Thermodynamic limit of the density matrix renormalization for the spin-1 Heisenberg chain

The density matrix renormalization group (``DMRG'') discovered by White has shown to be a powerful method to understand the properties of many one dimensional quantum systems. In the case where renormalization eventually converges to a fixed point we show that quantum states in the thermodynamic limit with periodic boundary conditions can be simply represented by a special type of product ground state with a natural description of Bloch states of elementary excitations that are spin-1 solitons. We then observe that these states can be rederived through a simple variational ansatz making no reference to a renormalization construction. The method is tested on the spin-1 Heisenberg model.Comment: 13 pages uuencoded compressed postscript including figure

Proposal for a standard problem for micromagnetic simulations including spin-transfer torque

The spin-transfer torque between itinerant electrons and the magnetization in a ferromagnet is of fundamental interest for the applied physics community. To investigate the spin-transfer torque, powerful simulation tools are mandatory. We propose a micromagnetic standard problem includingthe spin-transfer torque that can be used for the validation and falsication of micromagnetic simulation tools. The work is based on the micromagnetic model extended by the spin-transfer torque in continuously varying magnetizations as proposed by Zhang and Li. The standard problem geometry is a permalloy cuboid of 100 nm edge length and 10 nm thickness, which contains a Landau pattern with a vortex in the center of the structure. A spin-polarized dc current density of 1012 A/m2 flows laterally through the cuboid and moves the vortex core to a new steady-state position. We show that the new vortex-core position is a sensitive measure for the correctness of micromagnetic simulatorsthat include the spin-transfer torque. The suitability of the proposed problem as a standard problem is tested by numerical results from four different finite-difference and finite-element-based simulation tools

Conformations of Linear DNA

We examine the conformations of a model for under- and overwound DNA. The molecule is represented as a cylindrically symmetric elastic string subjected to a stretching force and to constraints corresponding to a specification of the link number. We derive a fundamental relation between the Euler angles that describe the curve and the topological linking number. Analytical expressions for the spatial configurations of the molecule in the infinite- length limit were obtained. A unique configuraion minimizes the energy for a given set of physical conditions. An elastic model incorporating thermal fluctuations provides excellent agreement with experimental results on the plectonemic transition.Comment: 5 pages, RevTeX; 6 postscript figure

Ground states of integrable quantum liquids

Based on a recently introduced operator algebra for the description of a class of integrable quantum liquids we define the ground states for all canonical ensembles of these systems. We consider the particular case of the Hubbard chain in a magnetic field and chemical potential. The ground states of all canonical ensembles of the model can be generated by acting onto the electron vacuum (densities $n1$), suitable pseudoparticle creation operators. We also evaluate the energy gaps of the non-lowest-weight states (non - LWS's) and non-highest-weight states (non - HWS's) of the eta-spin and spin algebras relative to the corresponding ground states. For all sectors of parameter space and symmetries the {\it exact ground state} of the many-electron problem is in the pseudoparticle basis the non-interacting pseudoparticle ground state. This plays a central role in the pseudoparticle perturbation theory.Comment: RevteX 3.0, 43 pages, preprint Univ.Evora, Portuga

Complete Pseudohole and Heavy-Pseudoparticle Operator Representation for the Hubbard Chain

We introduce the pseudohole and heavy-pseudoparticle operator algebra that generates all Hubbard-chain eigenstates from a single reference vacuum. In addition to the pseudoholes already introduced for the description of the low-energy physics, this involves the heavy pseudoparticles associated with Hamiltonian eigenstates whose energy spectrum has a gap relatively to the many-electron ground state. We introduce a generalized pseudoparticle perturbation theory which describes the relevant finite-energy ground state transitions. In the present basis these excitations refer to a small density of excited pseudoparticles. Our operator basis goes beyond the Bethe-ansatz solution and it is the suitable and correct starting point for the study of the finite-frequency properties, which are of great relevance for the understanding of the unusual spectral properties detected in low-dimensional novel materials.Comment: LaTeX, 32 pages, no Figures. To be published in Phys. Rev. B (15th of August 1997

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453