ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse (REG ^c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG ^c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG ^c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG ^c logics is coNP-complete.     

Representational momentum in older adults

Humans have a tendency to perceive motion even in static images that simply “imply” movement. This tendency is so strong that our memory for actions depicted in static images is distorted in the direction of implied motion - a phenomenon known as representational momentum (RM). In the present study, we created an RM display depicting a pattern of implied (clockwise) rotation of a rectangle. Young adults viewers’ memory of the final position of the test rectangle was biased in the direction of continuing rotation, but older adults did not show a similar memory bias. We discuss several possible explanations for this group difference, but argue that the failure of older adults to shown an RM effect most likely reflects age-related changes in areas of the brain involved in processing real and implied motion.     

Participatory Cues and Program Familiarity Predict Young Children's Learning From Educational Television

The capacity model is designed to predict young children's learning from educational television. It posits that select program features and individual child characteristics can support this learning either by increasing total working memory allocated to the program or altering the allocation of working memory. In this study, the influence of one such program feature (participatory cues) and one such child characteristic (program familiarity) on educational content comprehension was investigated. A total of 187 American preschool-aged children (M = 4.35 years) were randomly assigned to view one of two versions of Dora the Explorer—one version contained participatory cues (i.e., cues that encourage children to respond to queries during the program) while in the other these cues were omitted. All children completed a program familiarity assessment prior to viewing and completed an educational content assessment post-viewing. There was no significant main effect for participatory cues, although, as expected, program familiarity was positively associated with educational content comprehension. In line with expectations, program familiarity was found to moderate the relationship between participatory cues and educational comprehension—the combination of high program familiarity and the presence of participatory cues led to the greatest educational content comprehension. Implications are discussed.     

Short-Term Kinesthetic Training for Sensorimotor Rhythms: Effects in Experts and Amateurs

The authors’ aim was to examine whether short-term kinesthetic training affects the level of sensorimotor rhythm (SMR) in different frequency band: alpha (8–12 Hz), lower beta (12.5–16 Hz) and beta (16.5–20 Hz) during the execution of a motor imagery task of closing and opening the right and the left hand by experts (jugglers, practicing similar exercises on an everyday basis) and amateurs (individuals not practicing any sports). It was found that the performance of short kinesthetic training increases the power of alpha rhythm when executing imagery tasks only in the group of amateurs. Therefore, kinesthetic training may be successfully used as a method increasing the vividness of motor imagery, for example, in tasks involving the control of brain–computer interfaces based on SMR.     

Book Review

Arnheim, Rudolf, “Picasso's Guernica, The Genesis of a Painting,” University of California Press, Berkeley, California, 1962. Pp. 139, $8.50. Reviewed by Irving R. Stone     

Recent Rorschach Literature Rorschach Bibliography No. IV

Abstract

This is a supplement to the Rorschach bibliographies published by Dr. P. E. Vernon; the last of these was published in the January 1937 issue of the Rorachach Research Exchange. All available articles which are not contained in Dr. Vernon's bibliography are included. Those articles which have appeared in the Rorschach Research Exchange but which have not appeared elsewhere are omitted.     

Socratic Trees

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction.