A Computationally Grounded,Weighted Doxastic Logic

Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical situations. We provide model checking algorithms, complexity characterisations and a prototype implementation. We validate our proposal against a case study from the avionic domain: we assess and verify the situational awareness of pilots flying an aircraft with several automated components in off-nominal conditions.     

Evaluating Gender Biases on Actual Job Performance of Real People: A Meta‐Analysis1

This study examined gender bias on job performance in work settings where confounding variables (e. g., organizational level, experience, education) were cautiously taken into consideration to ensure fair comparisons. Although previous meta‐analyses examined gender biases on evaluations, findings in tightly controlled laboratory environments may differ from those in highly complicated field studies. We found little evidence of overall gender bias in performance appraisals in nonconfounded field studies. However, there were significant pro‐male biases when only men served as raters. Measure‐specific gender stereotypicality, instead of genera! stereotypicality about the job, produced gender bias in performance appraisal. Masculine measures produced pro‐male bias, and feminine measures produced pro‐female bias.     

无效治疗--医者的困扰

关于无效治疗的争论越来越受到社会各方面的重视,但由于各自的利益和出发点不同,社会各方对无效治疗的观察角度和侧重点不同。从医务工作者的角度,就无效治疗的概念、判定及无效治疗实施过程中的利益冲突和解决对策进行讨论。     

词素的结构对称效应:结构对称汉语成语认知特点的进一步研究

运用词素启动作业,进一步考察了结构对称性汉语成语的识别过程.结果发现(1)无论是用成语的前二个字还是后二个字启动,在成语识别过程中都存在明显的词素结构对称效应,即结构对称成语中的词素启动效应明显大于非对称成语中的词素启动效应.(2)成语的结构对称性、熟悉度和启动词素位置之间存在显著的三阶相互作用.简单效应的分析表明无论成语前二个字还是后二个字启动,词素的结构对称效应均只在低熟悉度成语的识别过程中显著;在前二个字启动时,非对称成语的识别还存在熟悉度效应.     

两岁儿童对母亲的依恋类型

本研究采用实验室观察法,考察122名21-27个月龄的儿童对母亲的依恋类型,实验室程序包括儿童的自由活动、与陌生人的交往、在多种压力情境下的行为表现,与母亲的分离-重聚等.结果发现(1)本研究中使用的实验室观察程序能够有效地测查两岁儿童对母亲的依恋行为.(2)中国两岁儿童对母亲的依恋有四种类型淡漠型依恋、安全型依恋、缠人型依恋、混乱型依恋,分布比例分别为11%,73%,7%,9%.其中安全型和混乱型依恋的表现与国外研究者描述的美国、日本等国家儿童的行为大体相同,但淡漠型和缠人型依恋为我国儿童所特有,其表现特点与国外研究者描述的焦虑-回避型不安全依恋及焦虑-矛盾型不安全依恋有明显区别.     

A Probabilistic Model of Criticality in a Sequential Public Good Dilemma

A public good (PG) is a commodity or service made available to all members of a group: its provision depends on the voluntary contribution of its members. Once provided, all members can enjoy the benefits of the PG, regardless of whether they contributed or not; hence, there is a temptation to “free-ride” in the hope that others will contribute. Rapoport (1987) showed that an important factor that affects cooperation (contribution) in a PG dilemma is the extent to which a group member is critical in providing it. Erev and Rapoport (1990) tested a game-theoretic model that yields deterministic predictions about the effects of criticality on cooperation in public good dilemmas. Based on research by Chen, Au, and Komorita (1996), we propose a probabilistic model of criticality. The model is tested and found to fit empirical data. Extensions of the model to situations with uncertain group size or provision point are discussed.     

中国癌症病人生活质量的测定──EORTC QLQ—C30在中国的试用

引进EORTCQLQ-C30,验证其在中国大陆的应用情况,为中国肿瘤学领域生活质量研究提供有效和实用的评定工具.运用随机对照实验设计,测查了289名癌症病人,结果显示各分量表中项目与所属量表的相关均高于与其他量表的相关,各分量表间呈中等偏下相关,量表因子结构分析与EORTC结果大体相似,三种方法检验的临床效度均较高.由此得出QLQ-C30各项心理测量学特性均达到要求,临床效度和实用性也比较好,在中国大陆的癌症病人中是可行的、可信的、有效的和敏感的.