谓词抽象及其作用

当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用.     

人工神经网络模型在心理学研究中的运用

人工神经网络是对真实神经元网络的粗略模拟,具有容错性、抗干扰性、高效性等特征,具有学习、记忆等强大的认知功能,因此适宜于心理学许多领域的模拟研究。借助神经网络模型不仅可以模拟和验证以往的实验室研究;还能深入探讨感知、联想、学习和记忆等认知过程的具体发生机理,把握其内在机制;它对探讨内隐记忆、内隐学习等无意识认知过程有极大的启发作用。     

Pilot study for assessing the behaviors of patients with schizophrenia towards a virtual avatar.

This study examined whether a virtual avatar could be perceived as a real human by patients with mental disease, especially schizophrenia, as well as whether a virtual avatar could be applied to acquiring patients' behavior characteristics in a short conversation situation. The virtual avatar has been used for various applications which need to communicate with other person or to train or educate by showing humanlike behavior. Recently, many researches have shown that the virtual avatar technology has been enhanced and the avatar could be perceived like real human. A virtual avatar, standing in a virtual room, was designed for this study. Tasks to approach, initiate a talk, and answer to avatar's questions was assigned to the 11 patients with schizophrenia. As behavioral parameters in the virtual environment, the interpersonal distance and the verbal response time were acquired. In addition, the Positive and Negative Syndrome Scale (PANSS) for patients was administered in order to investigate the relationship between patients' symptomatic characteristics and behavior parameters. The interpersonal distance was negatively correlated with the negative syndrome scale, a subscale of PANSS, which is consistent with previous research reporting the relationship between interpersonal distance and a real person's image. The verbal response time, however, was not correlated with any other subscale of PANSS. After analyzing subitems of the negative syndrome of PANSS, two positive correlations were found: one was with blunted affect and the other was with poor rapport. We concluded that the virtual avatar could be perceived as a real human by schizophrenic patients and the avatar could draw the schizophrenic patients' behavior characteristics.     

Spirituality and Counselor Competence: A National Survey of American Counseling Association Members

A random sample of 505 American Counseling Association (ACA) members completed a questionnaire that evaluated respondents' ratings of the importance of 9 competencies developed at the Summit on Spirituality (G. Miller, 1999; “Summit Results,” 1995) meetings to effectively address spiritual and religious issues in counseling practice. Results suggest that, in general, ACA members strongly support the importance of the competencies for effective counseling practice.     

The adaptive nature of children's overestimation in a strategic memory task

Kindergarten, first-, and third-grade children were given a multitrial sort-recall task with different items on each trial. Children were asked to predict how many items they would recall prior to each trial. We classified children into high- and low-overestimation groups based on their prediction accuracy on the first two trials and assessed changes in recall and strategy use over trials (trials 4/5 minus trials 1/2). Following predictions, at all grades, children in the high-overestimation group showed greater gains (or fewer losses) in recall than children in the low-overestimation group. Differences in strategy use over trials were generally nonsignificant. The results were interpreted as reflecting the adaptive nature of children's overestimation of their cognitive abilities.     

Health Beliefs and Behaviors of Women Who Have Received Genetic Counseling For Breast Cancer

There are both genetic and behavioral risk factors for breast cancer, but the interaction between these factors is not clear. Little is known about the impact of receiving genetic risk information for breast cancer on behaviors such as diet and physical activity. Seven focus groups were conducted with 23 women who had recently received genetic counseling for breast cancer, in order to explore health beliefs and behaviors following genetic counseling. Findings revealed that there was much confusion and uncertainty about the associations between health behaviors and breast cancer risk, and participants reported that receiving genetic counseling had little impact on health protective behaviors. Further research is required to understand variation in response to genetic risk information, and to assess the impact of providing additional information regarding lifestyle factors.     

Right-handers' reaching in contralateral hemispace: a kinematic observation

C. Gabbard and C. Helbig (2004) found, when examining seated participants' limb selection for reaching and grasping in hemispace, that right-handers preferred to switch to the nondominant left arm for objects located approximately 20 degrees horizontally from body midline (90 degrees) in left hemispace. In the present study, the authors examined 13 strongly lateralized seated right-handers' kinematics of reaching to object positions ranging from body midline to 40 degrees horizontally in left hemispace. Participants executed faster reaches with the left arm than with the right arm to objects placed 20 degrees-40 degrees from midline, whereas they did not change the proportion of time they spent accelerating the hands when the position of the object changed. A 2nd main finding was an increase in the left hand's trajectory curvature as object position moved farther from midline, with a corresponding decrease in the contribution of upper-arm motion to the reach. Those observations suggest that the switch from dominant right-arm reaching to nondominant left-arm reaching in left hemispace reported in the aforementioned study may have emerged from a shift from a shoulder-driven reach to an elbow-driven action.     

Development of a scale to measure problem use of short message service: the SMS Problem Use Diagnostic Questionnaire.

This exploratory study examines a subset of mobile phone use, the compulsive use of short message service (SMS) text messaging. A measure of SMS use, the SMS Problem Use Diagnostic Questionnaire (SMS-PUDQ), was developed and found to possess acceptable reliability and validity when compared to other measures such as self-reports of time spent using SMS and scores on a survey of problem mobile phone use. Implications for the field of addiction research, technological and behavioral addictions in particular, are discussed, and directions for future research are suggested.     

VR-based conversation training program for patients with schizophrenia: a preliminary clinical trial.

Schizophrenia is a devastating mental illness and is characterized by hallucinations and delusions as well as social skills deficits. Generally, social skills training designed to help patients develop social skills includes role-playing, but this form of training has typical shortcomings, which are largely due to a trainer's difficulties to project emotion. Virtual reality (VR)-based techniques have the potential to solve these difficulties, because they provide a computer-generated but realistic three-dimensional world and humanlike avatars that can provide emotional stimuli. In this paper, we report on a method of implementing virtual environments (VEs) in order to train people with schizophrenia to develop conversational skills in specific situations, which could overcome the shortcomings of or complement conventional role-playing techniques. The paper reports the efficacy of the proposed approach in a preliminary clinical trial with 10 patients with schizophrenia.