Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

Four empirical tests of Unconscious Thought Theory

According to Unconscious Thought Theory, people make better decisions after unconscious than after conscious thought (Dijksterhuis, Bos, Nordgren, & van Baaren, 2006a). Unconscious Thought Theory yields four specific predictions. First, an exact replication of Dijksterhuis et al. (2006a) study should indicate that unconscious decisions are superior to conscious decisions. Second, decisions should improve with duration of conscious thought. Third, unconscious decisions should be superior to conscious decisions, even if unconscious decisions are deliberated while having access to information. Fourth, unconscious decisions should be based on a weighting strategy. We report results of four studies, featuring 480 participants, that yield no evidence in favor of these predictions. Therefore our findings cast doubt on Unconscious Thought Theory and its advice to base decisions on unconscious thought. The results of our studies suggest that it is better to base decisions on conscious thought while having access to information.     

元认知在画图表征策略和小学生数学问题解决能力中的中介作用

该研究采用自然实验和问卷调查法,对268名小学五年级学生进行画图表征策略训练,在此基础上根据策略学习情况筛选出掌握了该策略的218名学生,以这些学生为被试,探讨元认知在画图表征策略和小学生数学问题解决能力中的作用。结果表明:(1)策略学习后,小学生的画图表征策略水平和数学问题解决成绩均显著高于策略学习前。(2)画图表征策略通过元认知这一中介变量对小学生数学问题解决能力有显著的促进作用。     

How category advertising norms and consumer counter‐conformity influence comparative advertising effectiveness

Surprisingly little research examines whether and how category advertising norms influence the effectiveness of comparative advertising. To address this void, the present research investigates if the persuasiveness of a particular comparative advertisement depends on whether or not it is viewed as a typical tactic that conforms to category advertising norms. Results from experiments 1 and 2 indicate that a comparative advertisement used in violation of category norms results in a persuasion penalty that is evidenced by a reduction in the ad's impact on brand attitudes. This effect of category norms on persuasion is shown to be mediated by evaluations of the comparative advertisement's appropriateness in the product category. A final experiment confirms this persuasion penalty with respect to consumers holding conformity-based motives. However, this penalty is found to be reversed for individuals seeking counter-conformity in the marketplace, who respond more favorably to a comparative advertisement when it violates rather than conforms to category norms.     

The Role of Executive Control of Attention and Selective Encoding for Preschoolers' Learning

Selectivity in encoding, aspects of attentional control and their contribution to learning performance were explored in a sample of preschoolers. While the children are performing a learning task, their encoding of relevant and attention towards irrelevant information was recorded through an eye‐tracking device. Recognition of target items was used as measure of learning outcome, and individual differences in resistance to interference and inhibition of attention to task‐irrelevant stimuli (i.e. distractibility) were used as measures of executive control of attention. Results indicated well‐developed selectivity during encoding in young children. Recognition performance was related to selective encoding and aspects of attentional control, explaining individual differences in learning. Copyright © 2011 John Wiley & Sons, Ltd.     

Affective responses to movie posters: differences between adolescents and young adults

Although the link between cognition and affect in the advertising context has been demonstrated in several studies, no research to date has considered adolescents’ affective responses to movie posters and their attitudes to negative and positive images. A 2 (between subjects) × 4 (within subjects) mixed‐factorial experiment design comprising two groups of subjects (80 adolescents and 80 young adults) and four advertising stimuli (two highly positive images and two highly negative images) was used to test the differences in the subjects’ attitudes to advertising, positive and negative affect, and viewing intentions. Although the adolescents, compared to the young adults, did not appear to have significantly stronger attitudes to emotional advertisements (ads), they showed a similar level of intensity of affective response when exposed to negative and positive images.     

Behavior model and guidance strategies of the crossing behavior at unsignalized intersections in the connected vehicle environment

The connected vehicle environment is considered to be a disruptive technology that reconstructs the way people travel and road transport, and more importantly, ensures traffic safety. This study aims on investigating drivers’ interactive behavior at an unsignalized intersection in the connected vehicle environment. Specifically, a simplified iterative behavior model was established to predict the potential conflicting vehicles’ behavior. Furthermore, based on principles of safety, efficiency, and comfort, the guidance strategies were proposed to help the subject vehicles cross intersections. A multi-user driving simulator experiment was carried out and 48 participants were divided into 24 pairs to complete the test. The simplified iterative behavior model was constructed based on the dynamic interaction of each participant pair as they approached the intersection from straight-crossing directions. The comparison results showed the behavior model was an effective microscopic simulation tool for vehicles at unsignalized intersections with high accuracy and good applicability. Then, the guidance strategies under different compliance rates (baseline, 50 % compliance, 100% compliance) were evaluated based on three indexes i.e. standard deviation of speed (SDS), duration of crossing the intersection (DCI), and time exposed post-encroachment-time (TEP). The numerical simulation results showed that the guidance strategies could effectively improve the safety and efficiency of drivers crossing the intersection under both 50% and 100% compliance rates. Besides, with the increase of compliance rate, the comfort level also increased evidently. This study can provide theoretical and algorithmic references for microscopic simulation and guidance strategy at unsignalized intersections in the connected vehicle environment.     

时间感知在跨期决策中的作用——时间决策模型的新探索

“时间”是跨期决策的“必需品”, 人们感知到的延迟时间决定跨期决策的结果。近年来, 研究者发现“时间长度感知”、“时间资源感知”和“时间框架感知”是时间感知作用于跨期决策的主要方式。时间感知的神经作用机制包含微观层面和宏观层面两种。“对数/指数时间折扣模型”、“感知时间基础模型”及“多模态漂移扩散模型”解释了时间感知的作用方式。然而, 现有理论模型还存在诸多局限, 主要包括“长短时距预测偏差”和“实际决策与预期决策偏差”两个方面。因此, 深入探讨时间感知影响跨期决策的基本方式, 分析现有理论模型的局限性并提出整合的机制框架具有十分重要的意义。未来研究亟需进一步整合时间感知的理论模型, 开展脑机制与应用方面的研究, 从深层揭露时间感知的作用本质, 帮助个人与社会更理性地决策。     

基于项目区分度的双目标CD-CAT选题策略

针对双目标CD-CAT,将六种项目区分度（鉴别力D、一般区分度GDI、优势比OR、2PL的区分度a、属性区分度ADI、认知诊断区分度CDI）分别与IPA方法结合,得到新的选题策略。模拟研究比较了它们的表现,还考察了区分度分层在控制项目曝光的表现。结果发现：新方法都能明显提高知识状态的判准率和能力估计精度;分层选题均能很好地提高题库利用率。总体上,OR加权能显著提高测量精度;OR分层选题在保证测量精度条件下显著提高项目曝光均匀性。