Temporalising Tableaux

As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has recently been proposed to restrict the application of temporal operators to formulas with at most one free variable thereby obtaining so-called monodic fragments of FOTL. In this paper, we are concerned with constructing tableau algorithms for monodic fragments based on decidable fragments of first-order logic like the two-variable fragment or the guarded fragment. We present a general framework that shows how existing decision procedures for first-order fragments can be used for constructing a tableau algorithm for the corresponding monodic fragment of FOTL. Some example instantiations of the framework are presented.     

Complete Axiomatizations for Reasoning about Knowledge and Branching Time

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to a version of the bundle semantics.     

模糊分组的时间层次网络结构研究

本研究通过两个实验来对连续性的时间顺序标码的层次网络结构的性质进行了探讨。研究结果表明,连续性的时间顺序标码是按照层次网络的结构组织起来的,若干项目组成一个小组,若干小组组成更大的组。连续性的时间标码层次网络的形成具有自动性、内隐性的特点。连续性的时间顺序标码的层次网络结构是主观的、模糊的。两个相邻的小组的项目之间出现了距离效应,而两个相邻的大组的项目之间则出现了越界效应,由于两个大组的项目的平均距离大于两个小组的项目的平均距离,越界效应大于距离效应。     

Motor Planning Influences the Perceived Timing of Vibrotactile Stimuli in an Amplitude-Dependent Manner

The authors characterized how motor planning influences temporal order judgment (TOJ) tasks. They examined this by applying vibrotactile stimulation during the planning stages of a bimanual arm movement that would bring the arms into a crossed configuration. The authors have previously shown that planning to cross the arms induces a subjective reversal of spatially defined temporal order judgments that evolves over the course of the planning period. It was unclear, however, whether this effect is modulated by the extent to which the arms would be crossed after movement. The authors examined this issue by having participants plan to move to 4 different targets that would leave the arms in crossed configurations of varying extents. The results demonstrate that even though cutaneous stimuli were applied before the movements, if participants were planning to move into a more crossed configuration, performance on the TOJ task worsened depending on where they were in the planning process. This data suggest the brain uses planning signals to predict sensations from impending movements in a context-dependent manner.     

Memory skills mediating superior memory in a world-class memorist

Laboratory studies have investigated how individuals with normal memory spans attained digit spans over 80 digits after hundreds of hours of practice. Experimental analyses of their memory skills suggested that their attained memory spans were constrained by the encoding time, for the time needed will increase if the length of digit sequences to be memorised becomes longer. These constraints seemed to be violated by a world-class memorist, Feng Wang (FW), who won the World Memory Championship by recalling 300 digits presented at 1 digit/s. In several studies we examined FW’s memory skills underlying his exceptional performance. First FW reproduced his superior memory span of 200 digits under laboratory condition, and we obtained his retrospective reports describing his encoding/retrieval processes (Experiment 1). Further experiments used self-paced memorisation to identify temporal characteristics of encoding of digits in 4-digit clusters (Experiment 2), and explored memory encoding at presentation speeds much faster than 1 digit/s (Experiment 3). FW’s superiority over previous digit span experts is explained by his acquisition of well-known mnemonic techniques and his training that focused on rapid memorisation. His memory performance supports the feasibility of acquiring memory skills for improved working memory based on storage in long-term memory.     

The roles of the temporal lobe in creative insight: an integrated review

Recent studies have revealed that the temporal lobe, a cortical region thought to be in charge of episodic and semantic memory, is involved in creative insight. This work examines the contributions of discrete temporal regions to insight. Activity in the medial temporal regions is indicative of novelty recognition and detection, which is necessary for the formation of novel associations and the “Aha!” experience. The fusiform gyrus mainly affects the formation of gestalt-like representation and perspective taking. The anterior and posterior middle temporal gyri (MTG) are individually associated with extensive semantic processing and inhibiting salient or routine word associations, which are necessary to form non-salient, novel and remote associations. The anterior and posterior superior temporal gyri (STG) are individually responsible for integrating/binding and accessing various types of available conceptual representations. Based on the current knowledge, an integrated model of the temporal lobe's role in insight and some future directions are proposed.     

The role of visible persistence for perception of visual bilateral symmetry1

Abstract: Although the detection of visual bilateral symmetry has been claimed to be highly efficient, the possible involvement and function of visual memory in such efficient mechanisms has rarely been examined. We hypothesized that symmetry perception is rapid, as it can be achieved from rapidly decaying information of visible persistence. To test this hypothesis, we employed a temporal integration paradigm. A symmetric dot pattern was randomly divided into two asymmetric patterns and presented successively with a blank screen presented between patterns. Observers could detect symmetry when the two patterns were presented close in time (Experiment 1), indicating that observers perceived symmetry presumably utilizing visible persistence. In addition, the inverse‐intensity effect of visible persistence (Di Lollo & Bischof, 1995) was evident in our temporal integration task of symmetry (Experiment 2). The results of the current study clearly demonstrate that the detection of symmetry can be achieved based on the visible persistence. The large capacity and high spatial precision of visible persistence might be adequate for the rapid and spatially global encoding of visual symmetry.     

公司形象和产品属性超越的协同效应：基于刻板印象内容模型

由于消费者和品牌之间的关系与人际关系存在许多相似之处, 反映人际感知的刻板印象内容模型为品牌感知研究提供了全新的视角。然而, 以往研究多关注品牌感知两大维度--“感知能力”和“感知温情”二者之间的作用关系, 鲜有研究同时基于公司层面和产品层面考察品牌感知不同维度的前因变量及其交互作用机理。鉴于此, 本文实验1考察了公司形象/产品属性超越的不同维度与“感知能力”和“感知温情”的对应关系, 在此基础上进一步发现公司形象和产品属性超越对购买意愿的协同效应。具体而言, 当公司形象为能力型时, 产品享乐性(相对于功能性)属性超越下消费者的购买意愿更高; 当公司形象为诚信型时, 产品功能性(相对于享乐性)属性超越下消费者的购买意愿更高。而且, 品牌赞赏感在上述协同效应中发挥中介作用。实验2探究感知风险调节公司形象和产品属性超越对购买意愿的协同影响。文章最后讨论了本文的理论贡献, 对企业如何实现公司形象策略和产品属性策略的协同促进等方面的营销启示, 以及未来研究方向。     

认知风格影响归类过程中的神经活动-来自fMRI研究的证据

行为学研究表明归类过程中的反应具有认知风格上的不同,但未有研究明确探讨归类过程的神经活动是否也受认知风格的影响。本研究通过双重认知风格分型任务筛选出分析型和整体型被试,以探讨归类过程中二者之间是否表现出神经活动的差异。实验任务要求被试从两个待选物中选出与目标物属于同一类别的一个。同时,采用fMRI技术扫描并记录他们完成任务时的BOLD信号。结果发现,与基线任务相比,整体型和分析型个体均激活了额-枕网络的一些脑区,包括额下回、楔前叶、枕中回等,表明不同认知风格个体在任务中可能共享与工作记忆等相关的脑区。另外,与分析型个体相比,整体型个体在右额下回、右旁海马回呈现更广泛的特异性激活,提示,认知风格可以影响归类过程中的脑活动,而整体型个体大脑右半球更强烈的活动表明这一类型认知风格个体在归类时更依赖于远距离的语义联结。     

创伤后应激障碍患者的HPA轴功能变化的时间序列特征

已知创伤后应激障碍(posttraumatic stress disorder, PTSD)患者表现出HPA轴(hypothalamic-pituitary- adrenocortical axis)功能异常, 而皮质醇是反映PTSD患者HPA轴功能的重要生物标记。近期的研究结果提示, PTSD患者的皮质醇水平变化可能有明显的时间序列特征, 即应激事件发生后先升高, 后下降至正常水平之下。这一特征受到生物标记的时间特性, 患者病程, 应激源类型和强度, 伴生疾病等因素的干扰和掩蔽。未来研究应进一步采用长期追踪设计, 控制干扰因素的影响, 结合急性应激和慢性应激生物标记来综合验证PTSD患者皮质醇水平变化的时间序列特征|并利用该特征预测PTSD的发生、发展, 以便及时进行干预|考虑皮质醇的代谢、拮抗等机制, 结合多种生物标记综合评估、诊断PTSD患者的HPA轴功能活性。