A family of Gödel hybrid logics

In this paper, we define a family of fuzzy hybrid logics that are based on Gödel logic. It is composed of two infinite-valued versions called ${\mathsf{GH}}_{\infty }$ and ${\mathsf{WGH}}_{\infty }$, and a sequence of finitary valued versions ${({\mathsf{GH}}_n)}_{0<n<\infty }$. We define decision procedures for both ${\mathsf{WGH}}_{\infty }$ and ${({\mathsf{GH}}_n)}_{0<n<\infty }$ that are based on particular sequents and on a set of proof rules dealing with such sequents. As these rules are strongly invertible the procedures naturally allow one to generate countermodels. Therefore we prove the decidability and the finite model property for these logics. Finally, from the decision procedure of ${\mathsf{WGH}}_{\infty }$, we design a sound and complete sequent calculus for this logic.     

Tool use in neurodegenerative diseases: Planning or technical reasoning?

Recent works showed that tool use can be impaired in stroke patients because of either planning or technical reasoning deficits, but these two hypotheses have not yet been compared in the field of neurodegenerative diseases. The aim of this study was to address the relationships between real tool use, mechanical problem‐solving, and planning skills in patients with Alzheimer's disease (AD, n = 32), semantic dementia (SD, n = 16), and corticobasal syndrome (CBS, n = 9). Patients were asked to select and use ten common tools, to solve three mechanical problems, and to complete the Tower of London test. Motor function and episodic memory were controlled using the Purdue Pegboard Test and the BEC96 questionnaire, respectively. A data‐transformation method was applied to avoid ceiling effects, and single‐case analysis was performed based on raw scores and completion time. All groups demonstrated either impaired or slowed tool use. Planning deficits were found only in the AD group. Mechanical problem‐solving deficits were observed only in the AD and CBS groups. Performance in the Tower of London test was the best predictor of tool use skills in the AD group, suggesting these patients had general rather than mechanical problem‐solving deficits. Episodic memory seemed to play little role in performance. Motor dysfunction tended to be associated with tool use skills in CBS patients, while tool use disorders are interpreted as a consequence of the semantic loss in SD in line with previous works. These findings may encourage caregivers to set up disease‐centred interventions.     

The role of head-centric spatial reference with a static and kinetic visual disturbance

A static or kinetic visual disturbance affects subjects’ ability to estimate the direction of the gravitational vertical. This kind of error is increased by a head roll inclination. In two experiments, we combined head orientation with a static (Experiment 1: tilted frame) versus kinetic (Experiment 2: rotating disk) visual disturbance. The results showed that with a static visual disturbance, the increase of errors in the inclined head condition was mainly the consequence of a postural head effect like an Aubert effect. On the contrary, with a kinetic visual disturbance, it appears that the disk effect increases with head inclination. However, individual errors observed with the head inclined in front of a stationary disk were systematically correlated with the errors triggered by the same head inclination in front of a rotating disk. These observations confirm that the head axis spatial reference plays an important role in orientation perception, whatever the head position and the kind of visual display.     

Dysexecutive syndrome in Parkinson’s disease: the GREFEX study

The objectives of this study were to characterize the frequencies and profiles of behavioral and cognitive dysexecutive syndromes in PD (based on validated battery and diagnostic criteria) and to develop a shortened diagnostic battery. Eighty-eight non-demented patients with a diagnosis of PD were examined with an executive validated battery. Using a validated framework, the patients’ test results were interpreted with respect to normative data from 780 controls. A dysexecutive syndrome was observed in 80.6% of the patients [95% confidence interval: 71.1–90.1]. The dysexecutive profile was characterized by prominent impairments in deduction, flexibility, inhibition and initiation in the cognitive domain, and by global hypoactivity with apathy and hyperactivity in the behavioral domain. This finding implies that patients with PD should be assessed with cognitive tests and a validated inventory for behavioral dysexecutive syndromes. A shortened battery (based on three cognitive tests and three behavioral domains) provided high diagnostic accuracy.     

“If You Can’t Follow,You’re Out.” The Perspectives of People with Mental Health Problems on Citizenship

Applied Research in Quality of Life - The new paradigm of ‘community care’ promotes the integration of people with mental health problems in society. This reconversion in social care...     

Swimming constraints and arm coordination

Following Newell's concept of constraint (1986), we sought to identify the constraints (organismic, environmental and task) on front crawl performance, focusing on arm coordination adaptations over increasing race paces. Forty-two swimmers (15 elite men, 15 mid-level men and 12 elite women) performed seven self-paced swim trials (race paces: as if competitively swimming 1500m, 800m, 400m, 200m, 100m, 50m, and maximal velocity, respectively) using the front crawl stroke. The paces were race simulations over 25m to avoid fatigue effects. Swim velocity, stroke rate, stroke length, and various arm stroke phases were calculated from video analysis. Arm coordination was quantified in terms of an index of coordination (IdC) based on the lag time between the propulsive phases of each arm. This measure quantified three possible coordination modes in the front crawl: opposition (continuity between the two arm propulsions), catch-up (a time gap between the two arm propulsions) and superposition (an overlap of the two arm propulsions). With increasing race paces, swim velocity, stroke rate, and stroke length, the three groups showed a similar transition in arm coordination mode at the critical 200m pace, which separated the long- and mid-pace pattern from the sprint pace pattern. The 200m pace was also characterized by a stroke rate close to 40strokemin(-1). The finding that all three groups showed a similar adaptation of arm coordination suggested that race paces, swim velocity, stroke rate and stroke length reflect task constraints that can be manipulated as control parameters, with race paces (R(2)=.28) and stroke rate (R(2)=.36) being the best predictors of IdC changes. On the other hand, only the elite men reached a velocity greater than 1.8ms(-1) and a stroke rate of 50strokemin(-1). They did so using superposition of the propulsion phases of the two arms, which occurred because of the great forward resistance created when these swimmers achieved high velocity, i.e., an environmental constraint. Conversely, the elite women and mid-level men had shorter stroke lengths and maintained a time gap between the propulsions of the two arms throughout the increase in paces, with gender and expertise explaining 9% and 8.3% of the IdC changes, respectively. These results indicate that arm coordination cannot be interpreted solely from the IdC value but should be considered from the perspective of task, environmental, and organismic constraints. These constraints can serve as control parameters in experiments aimed at gaining insight into changes in arm coordination during the front crawl. In this context, catch-up coordination, which is often considered as a mistake, was seen to be an adaptation to a relative constraint.     

Time intervals production in tapping and oscillatory motion

We applied spectral analysis on series of time intervals produced in a synchronization-continuation experiment. In the first condition intervals were produced by finger tapping, and in the second by an oscillatory motion of the hand. Results obtained in tapping were consistent with a discrete, event-based timing model. In the oscillatory condition, the spectra suggested a continuous, dynamic timing mechanism, based on the regulation of effector stiffness. It is concluded that the oscillatory character of movement can offer an important resource for timing control. The use of an event-based timing control such as postulated in the Wing-Kristoffersson model could be restricted to a quite limited class of rhythmic tasks, characterized by the concatenation of discrete events.     

Monitoring processes and metamemory experience in patients with dysexecutive syndrome

The aim of the present study was to determine whether monitoring measures are differentially disturbed in dysexecutive patients after frontal lesions. Twelve dysexecutive patients and 12 healthy controls were administered a paired-associates learning task. Their performances on recall prediction, judgment-of-learning (JOL), and feeling-of-knowing judgment (FOK) were then compared. The results revealed that the two groups differed only on accuracy measures of the FOK paradigm. The study of the overall correlations between the three measures of metamemory revealed a significant relation between recall prediction and accuracy measures of the JOL. We failed to find any significant correlation with the accuracy measures of the FOK. Taken together, our data confirm that metamemory experience is not a unitary construct but rather a group of distinct and quite independent mechanisms.