Game logic and its applications I

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II.The authors thank Hiroakira Ono for helpful discussions and encouragements from the early stage of this research project, and Philippe Mongin, Mitio Takano and a referee of this journal for comments on earlier versions of this paper. The first and second authors are partially supported, respectively, by Tokyo Center of Economic Research and Grant-in-Aids for Scientific Research 04640215, Ministry of Education, Science and Culture.Presented by H. Ono     

Eye movements and performance during bilateral tracing tasks

To examine the role of current visual monitoring in the between-hand differences in skilled movements, eye movements and errors during bilateral tracing tasks were analyzed in 10 subjects. When subjects traced a horizontal course abductively with both hands, the subject's gaze followed the movement of the right hand, and more errors were observed on the left hand. When subjects traced a vertical course, where fine motor control for alteration of movement direction was necessary, more errors were shown on the left hand despite the alternate visual scan of the two hands. The results were interpreted as showing that the between-hand differences in skilled movements are primarily due to the left hand's poor ability in motor output, and that the differential efficiency in the use of visual monitoring becomes an important factor in the between-hand differences when symmetrical movements of both hands with a low degree of difficulty are required.     

Spontaneous blinks as a criterion of visual fatigue during prolonged work on visual display terminals

Visual fatigue caused by prolonged work viewing a Visual Display Terminals (VDT) and of work reading a hard-copy were assessed by electromyogram (EMG) waveform and electrooculogram (EOG) waveform in spontaneous blinks as objective criteria, and by questionnaire of subjective feeling, and by task performance. The duration and the amplitude of the EMG of the orbicularis ocular muscle on the right side and the EOG of the vertical direction to the eyelid were measured for 10 subjects who participated in a figure task consisting of the addition of single-digit numbers on a VDT work or a work with a hard-copy. The mean values of the duration and the amplitude of the EMG and the EOG were evaluated by the averaging of 10 waveforms of the spontaneous blinks for all subjects. The time lag from the EMG to the EOG in the process of the generation of spontaneous blinks was also analyzed. These five parameters were evaluated during the work time. The mean values for the duration of the EMG increased gradually during the work time, but the amplitude did not show significant difference between the prework and a work time. There was no significant change of the duration of the EOG, but the mean amplitude of the EOG decreased as the work time progressed, and the time lag significantly extended. The blinks frequency increased relatively when using a VDT. The rate of fluctuation for these parameters was higher during use of a VDT than use of a hard-copy. The time lag at five hours of VDT work was extended by 90% based on the value at the pre-work. The symptoms of general fatigue and fatigue of the eyes increased linearly during the VDT work for six hours. The results indicated a significant correlation between the objective parameters for the activity of the spontaneous blinks, i.e., duration and amplitude of EMG and EOG, and the time lag between EMG and EOG, and the subjective feeling was recognized in the time course of the task. These experimental results suggested that the parameters regarding the EMG and the EOG for the spontaneous blinks were effective indices for assessing visual fatigue during prolonged VDT work.     

Proposal for a new body sway evaluation method

This study is aimed at examining body sway factors for 1107 healthy people aged 16 to 69 years and to propose a practical body sway evaluation method. The center of foot pressure measurement was carried out twice for 1 min. with a 1-min. rest. 30 parameters with high reliability selected from 6 domains (distance, distribution of amplitude, area, velocity, power spectrum, and body sway vector) were summarized objectively into 4 body sway factors (unit time sway, front-back sway, left-right sway, and high frequency band power). Factor scores were calculated by the estimate equation and the total standard scores of parameters with high factor loadings. Considering this result, a total standard score for each factor was classified into 4 percentile categories based on percentile rank. Using this classification criteria, body sway scores for each individual were classified into any of the above 4 domains for each factor. It was confirmed that young adults mainly belong to percentile Categories A and B and the elderly mainly belong to percentile Categories C and D. It was found that a great effect on body sway occurred when an individual's conscious condition changed (contracting a cold or after exercise). In conclusion, the body sway of healthy people can be explained by these 4 sway factors. An evaluation of the body sway pattern using the 4 sway factors may enable us to concretely understand individuals' disorders and abnormal states in addition to changes in body sway that occur with aging.     

Icosahedral quasicrystal in annealed ZnMgSc alloys

A new icosahedral quasicrystal has been found in Zn 85-x Mg x Sc 15 ( x = 3,4,5) alloys annealed at 922K for 5-100h. Electron diffraction and powder X-ray diffraction experiments indicate that this quasicrystal has a primitive icosahedral quasilattice (P type) and a six-dimensional lattice parameter a 6D =0.7115nm. The stoichiometric composition of the icosahedral quasicrystal was estimated to be close to Zn 80 Mg 5 Sc 15, since the icosahedral quasicrystal coexists in the x = 5 samples with small amounts of a MgZn 2 -type Laves phase and a Zn 17 Sc 3 -type cubic phase with lattice parameter a =1.3854nm. The latter is interpreted to be a 1/1-type approximant crystal of the icosahedral quasicrystal. The atomic cluster included in the Zn 17 Sc 3 -type cubic phase indicates a structural similarity between the Zn-Mg-Sc quasicrystal and the Cd-Yb (and Cd-Ca) icosahedral quasicrystals recently reported.     

Adolescent mental health in Japan and Russia: The role of body image,bullying victimisation and school environment

This study examined associations between self-reported mental health problems, body image, bullying victimisation and school safety in large adolescent samples in Japan and Russia, considering the effects of gender, culture and their interactions. In both Japan and Russia, girls reported a greater number of mental health problems, less bullying victimisation and much higher body dissatisfaction than boys did. Japanese adolescents rated themselves higher on total difficulties, reported less body dissatisfaction and bullying victimisation, and rated their school safety lower than that of Russian youths. Cross-cultural differences in total difficulties and body image were qualified by gender. Body dissatisfaction, bullying victimisation and school safety all independently contributed to adolescent mental health problems. The protective effect of school safety on total difficulties was larger for girls than for boys; the strength of the association between bullying victimisation and adolescent mental health problems differed across genders and cultures. The findings indicate a need for a cross-cultural approach and provide a strong basis for targeted interventions that seek to improve adolescent mental health.     

Effects of translational background motion on visual localization

Three subjects were asked to judge the position of small spots of light flashed before, during or after rapid translational motion of the background grating pattern. Mislocalization of the spots was observed when the background moved during or immediately after presentation of the spot. In both cases, mislocalization always occurred in the direction of the fixation point. Furthermore, this mislocalization occurred only when the background moved in the opposite direction to the visual half-field in which the spot appeared. That is to say, a spot to the right of the fixation point was mislocalized when its background moved to the left, but not when it moved to the right, and the converse was also true. This finding was interpreted as reflecting a long-term adaptation to the optokinetic stimulation that we experience during forward and backward locomotion.     

Differential Outcomes Effect on Instrumental Serial Feature-Ambiguous Discrimination in Rats

The Psychological Record - Two groups of rats were trained to press the lever in a serial feature-ambiguous (FA) task. A feature stimulus (X) signaled reinforcement during one target stimulus that...