An analytic tableau calculus for a temporalised belief logic

A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML⁺, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML⁺ based on the recent results for model checking procedures for temporalised logics. TML⁺ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML⁺, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments.     

中学教师社会化过程:交互作用视角

本研究以345名教师为研究对象,基于交互作用视角建立框架模型,研究教师社会化前因变量、社会化近端结果和终极结果之间的关系,以揭示教师社会化过程。结果表明:①教师社会化近端结果在组织策略和社会化终极结果之间起部分中介作用,在教师主动策略和社会化终极结果之间起完全中介作用;②同事帮带仅通过促进教师对学校的了解促进教师社会化终极结果;③家长配合一方面直接促进教师工作绩效,另一方面通过角色清晰对社会化终极结果产生积极影响。     

一例一般心理问题的咨询案例分析报告

本文详细介绍了一例因为英语四级考试没有通过引发的一般心理问题的咨询过程。来访者韩某,女,20岁,是一名大二学生,因为英语四级考试没有通过而出现了睡眠质量差,学习效率下降,情绪低落等症状,来访者主动求助于校心理健康中心,迫切希望改变现状,能够正常的学习生活。咨询师在和来访者商议后根据其个性特征和问题的特点采用了合理情绪疗法对其进行干预,帮助她改变了其非理性的信念,经过咨询,来访者情绪好转,可以正确看待困难,取得了比较好的咨询效果。     

The role of organizational insiders' developmental feedback and proactive personality on newcomers' performance: an interactionist perspective

Drawing from an interactionist approach and feedback research, we examine the role of developmental feedback and proactive personality on newcomer task performance and helping behavior. Data were collected from 2 high-tech joint-ventures within the information technology and manufacturing industries located in Shanghai, China. Results based on 151 newcomer-manager dyads showed that supervisor developmental feedback (SDF) positively related to newcomer helping behavior and that SDF and coworker developmental feedback interactively predicted newcomer task performance. We also found differential moderating effects of proactive personality: SDF more strongly related to helping behavior when proactive personality was lower; conversely, coworker developmental feedback more strongly related to helping behavior when proactive personality was higher.     

Relations of SARS-related stressors and coping to Chinese college students' psychological adjustment during the 2003 Beijing SARS epidemic

This study examined the main and interactive relations of stressors and coping related to severe acute respiratory syndrome (SARS) with Chinese college students' psychological adjustment (psychological symptoms, perceived general health, and life satisfaction) during the 2003 Beijing SARS epidemic. All the constructs were assessed by self-report in an anonymous survey during the final period of the outbreak. Results showed that the relations of stressors and coping to psychological adjustment varied by domain of adjustment. Regression analyses suggested that the number of stressors and use of avoidant coping strategies positively predicted psychological symptoms. Active coping positively predicted life satisfaction when controlling for stressors. Moreover, all types of coping served as a buffer against the negative impact of stressors on perceived general health. These findings hold implications for university counseling services during times of acute, large-scale stressors. In particular, effective screening procedures should be developed to identify students who experience a large number of stressors and thus are at high risk for developing mental health problems. Intervention efforts that target coping should be adapted to take account of the uncontrollability of stressors and clients' cultural preferences for certain coping strategies. A multidimensional battery of psychological adjustment should be used to monitor clients' psychological adjustment to stressors and evaluate the efficacy of intervention.     

Psychometric properties of an instrument for assessing cyber-sex addiction

Psychometric properties of an instrument for assessing cyber-sex addiction. Cyber-sex addiction is a ?new pathology? whose prevalence has grown rapidly in recent years. Therefore, it is important to have validated assessment instruments. The aim of this study was the adaptation and validation of the Internet Sex Screening Test (ISST) for its use in a Spanish population. The instrument was administered to 1239 Spanish college students. The results yielded five components that account for 47.5% of the variance. Internal consistency was .88 and temporal stability was .84. Moreover, the instrument had adequate convergent and discriminant validity and was related to other behaviors such as the use of pornography, internet addiction, number of hours online and sexual frequency. Therefore, this tool is proposed as an appropriate measure to assess cyber-sex addiction.     

图形型归纳推理的神经机制:一项fMRI研究

利用fMRI脑成像技术探讨图形型归纳推理的神经机制。设计了一种由图形形状和条纹方向描述的简单几何图形组成的归纳推理任务,这种图形型任务与以往研究中常用的语句型归纳推理任务是同质的。根据两个图形共享特征数量的不同设计了两种实验任务:共享两个特征(2T)和共享一个特征(1T),以休息基线(Rest)作为控制任务。2T和1T任务均为归纳推理任务,但2T任务包含知觉特征整合成分,而1T任务不包括。结果发现:与控制任务相比,归纳推理任务在前额区(BA6、9、11、46、47)、尾状核、壳核和丘脑等脑区有显著激活,反映了"前额皮层-纹状体-丘脑"通路在图形型归纳推理中的重要作用;图形型归纳推理中的知觉信息整合与右侧额下回(BA47)、双侧尾状核头部、壳核等脑区有关。     

现代性和虚无主义

西方文化语境中的虚无主义是一种精神世界的价值虚空状态,是现代性的特征。列斐伏尔彰显现代性的虚无主义本质,从虚无主义切入现代性,从虚无中看到了希望,认为现代既是虚无主义的时代,也将是新生的时代。这对于我们认清自己的现代性建构道路及目标具有重要启迪意义,当代中国以人为本、和谐社会等核心价值理念能帮助人摆脱虚无主义。     

信任是改善医患关系的关键

目前医患关系紧张,医疗纠纷频繁,同时又是新闻媒体追逐的热点,追究其原因是医患之间的不信任。如果医患之间成为相互信任的朋友,医患之间多一些相互理解,医生掌握精湛的医术,具备良好的沟通能力,做一个充满阳光的常常带给患者乐观情绪、鼓励话语、轻松气氛的医生,加上医疗体制的改革,应该可以有效改善紧张的医患关系。     

先秦齐国音乐繁荣原因之我见

先秦时期的齐国,在其长达800多年的历史中,创造了光辉灿烂的齐文化,而作为齐文化组成部分的音乐,不仅具有鲜明的特色,而且异常地繁荣。其繁荣的原因,与悠久的传统、统治者和民众的喜好有很大关系,而与发达经济之间的关系则更为深厚。研究齐国音乐繁荣的景象和原因,不仅是齐文化研究的需要,而且对建设和谐社会也具有积极意义。