A general tableau method for propositional interval temporal logics: Theory and implementation

In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's CDT logic interpreted over partial orders (BCDT⁺ for short). It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented.     

负启动效应的抗抑制理论及其新进展

负启动效应及其机制是近年来认知心理学研究的重点课题。该文从情景提取说、短暂辨别说以及随意刺激—反应联结的自动化提取理论三个方面论述了负启动效应的抗抑制理论及其新发展,以期为进一步探讨负启动效应的形成机制提供帮助。     

4～6岁儿童未来时间认知教学的实验研究

本研究在Friedman实验范式的基础上,增加了“系统教学”变量,探究教学与4~6岁儿童未来时间认知能力发展的关系。结果表明:(1)“教学”是影响儿童未来时序认知的主要因素;(2)“点估计策略”与“习俗时间单元概念策略”是两种主要时间认知策略;(3)儿童未来时间认知策略的发展遵循从感性直观到抽象概括的发展规律;(4)“教学”是影响其未来时间认知策略的主要因素;(5)4岁儿童已能区分未来事件的时距信息,且其未来时距认知具有分段性。     

Is Disgust a Homogeneous Emotion?

Many theoretical accounts consider disgust to be a unitary emotion, although others have challenged this notion. We predict that if core disgust and socio-moral disgust are different constructs, then their co-associated elicited emotions are likely to be different, and time as well as gender are likely to differentially affect their intensity (via a greater reliance of socio-moral disgust on cognitive appraisal). To test these predictions, participants were shown photographs of core and socio-moral disgust elicitors and asked to provide a wide ranging rating of their emotional response to each at 3 time points. Each elicitor generated a significantly different emotional response. Furthermore, the disgust response to core elicitors weakened over time whereas socio-moral responses intensified. Males and females showed similar levels of disgust to socio-moral elicitors, but females showed higher levels to core elicitors. Overall, the results suggest that a different emotional construct was activated by each type of elicitor.     

Monodic Packed Fragment with Equality is Decidable

We prove decidability of satisfiability of sentences of the monodic packed fragment of first-order temporal logic with equality and connectives Until and Since, in models with various flows of time and domains of arbitrary cardinality. We also prove decidability over models with finite domains, over flows of time including the real order.     

Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

Age and Gender Differences in the Sources of Self-Evaluation Valued by Adult Athletes

Researchers have demonstrated that competency judgments can vary depending on the source of self-evaluation used. This study investigated age and gender differences in 459 adult tennis players' importance ratings for ten different competence information sources. As predicted, younger adults were more likely than older adults to value temporal comparisons, both past-to-present (i.e., personal improvement) and present-to-future (i.e., comparisons with future selves). Younger adults were more likely to value feedback from family for self-evaluation. Older adults were slightly more likely to rate comparisons with agemates as important. Women more than men valued feedback from tennis others, effort, and liking for the sport. The findings are consistent with theoretical models and point to new areas of investigation.     

The strategies in past temporal discounting

对过去事件的加工涉及到对现在信息的加工,过去获得的价值能够为现在的生活带来的收益可能对过去事件的价值估计具有影响。本研究探讨了过去事件对现在生活的影响在过去时间贴现中的作用。采用延迟时间贴现范式任务,选取2周到50年共10个过去时间长度,要求被试在现在获得的奖金和过去获得的奖金之间进行偏好选择,并且完成对过去时间贴现决策策略的问题回答。采用曲线下的单位面积UAUr(t1,t1) 为过去时间贴现率,发现过去时间贴现率在过去2周和过去1个月之间[Z = 2.662,p = .008]、过去1年和过去3年之间[Z = 2.587, p = .010] 差异显著。对决策策略的回答进行内容分析(频次统计信度为0.875),发现过去事件能够为现在生活带来的收益影响了被试对过去事件的价值估计和偏好选择。从现在起到过去2周内,被试看重近的过去获得的奖金对现在的生活的帮助,偏好选择过去获得的奖金;在较远的过去,从过去2周起到过去1年内,奖金数量和获得奖金的时间之间的比例影响了被试的偏好选择;从过去1年起到过去50年内,远的过去获得的奖金对现在生活的影响微乎其微,被试偏好现在获得的奖金。本研究的结果支持了过去时间贴现和未来时间贴现具有不同的心理加工机制,并且有助于进一步了解过去时间的差别感受性的变化规律。     

未来自我连续性及其对个体心理和行为的影响

一个人将现在自我和未来自我联系在一起的紧密程度反映了他/她在时间维度上自我连续性的强度, 即未来自我连续性。个体如何看待其现在自我与未来自我之间的连续和一致程度对个体的心理和行为有重要的影响, 特别是在跨期决策、储蓄和消费、学业成就领域、社会行为和健康领域等方面。未来研究可深入探讨未来自我连续性的神经基础及其影响因素, 并进一步拓展未来自我连续性相关的应用研究。     

中文阅读障碍儿童的时间加工缺陷:来自知觉学习干预研究的证据

前人研究指出,阅读障碍群体具有听觉通道内的时间加工缺陷,但截止目前为止,该缺陷的非模态性、跨语言一般性、干预前景及具体机制尚不明确。本文通过综述三项在中文阅读障碍儿童中开展的听觉、视觉时间加工知觉训练,以及它们对阅读成绩的迁移效应,对时间加工技能与阅读障碍的关系,及其影响阅读发展的认知机制进行了探讨和分析,并在此基础上,提出了未来的研究构想,以充实该领域的理论建构。