时态数据库属性推理的类型逻辑

1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,形式晦涩,无直观性与运算性,因而一般不用于知识推理。另一方面,1983年Allen提出了13种时态关系运算,并使用区间逻辑对时态关系进行表达,但这些运算只能表示时间本身的运算关系,未能体现时间与属性之间的映射关系,不能表达时态数据库属性间的推理与运算。此外,时态数据库中仍存在着许多开问题,例如在做属性推理与运算时出现的Now语义的不确定性问题。基于此,我们提出一种基于时态数据库属性推理的类型逻辑系统,其主要思路为将属性映射为类型,将类型映射为时间向量子集,以时间向量集为逻辑语义模型,在推理中从句法逻辑系统剥离对时间的表示,减少逻辑算子,与时间相关的运算单纯由语义模型支持,从而降低复杂性,提高运算能力。并且由于该类型逻辑系统是基于构造性语义的,能直观解释Now的不确定性问题。文中给出了相对该系统的时态数据库属性推理的应用示例,从技术可操作性上介绍了根据该类型逻辑设计的时态推理中间件原型及工作流程,最后从元理论范畴证明了系统可靠性与完全性的逻辑性质及切割消除与判定性的证明论性质。     

重复知盲效应产生的机制——来自汉语叠词加工的证据

以汉语中的叠词为实验材料,对重复知盲产生机制的类型标记个体化理论和建构理论进行检验。采用RSVP研究范式,在两个实验中让178名被试口头报告列表中出现的所有汉字（全部报告）或列表中最后两个字（部分报告）。结果发现：（1）在呈现速率为128ms和198ms时,完全重复的汉字在全部报告和部分报告任务中均存在RB效应,但在部分报告任务下出现的RB相比全部报告任务的减少了,符合建构理论的假设。（2）在全部报告条件下,不仅重复刺激的正确报告率会降低,而且与重复刺激相关的非重复刺激的正确报告率也会降低。研究表明建构理论比类型标记个体化理论更能解释RB效应的产生机制。     

人事选拔决策过程的匹配评价研究: 基于策略捕捉技术

传统的人事选拔是以胜任力或者说是人－职匹配为基础的,即强调基于胜任力,但研究者和实践者们越来越多的强调人－组织匹配在人事选拔中的重要性,即强调人事选拔过程中招募者匹配评价的多维性。本研究通过实验运用策略捕捉技术,检验多种职位特征和不同层次的匹配评价对选拔雇佣结果的影响。通过HLM分析结果发现四种匹配类型需要－供给匹配、要求－能力匹配、个性匹配和价值观匹配对雇佣决策都有显著的独立主效应,招募者在长期招募比短期招募中更多依靠个性匹配来评价应聘者,招募者在对管理类职位更多依靠价值匹配来进行评价,而对专业类职位则更多依靠要求－能力匹配进行评价。     

扩展三段论的可化归性与广义量词的语义性质之间的关系

基于Barwise、Cooper、Keenan、Peters、Westerstahl和vanEijck等人的研究成果,作者提出并证明了若干事实和推论。这些事实和推论表明：（1）不同三段论之间的可化归性本质上反映了广义量词的单调性、对称性等语义性质之间的可转换性,因此,我们可以根据四个亚氏量词的语义性质之间的转换关系来验证亚氏三段论的可化归性;（2）利用广义量词的语义性质可以验证扩展三段论的不同推理模式之间的可化归关系。由于广义量词在自然语言中普遍存在,因此,本文的研究对广义量词理论的发展和自然语言的信息处理都具有积极意义。     

27型气质差异研究

自从气质学说的创始人希波克拉底(古希腊医生,约公元前460—377年)提出多血质、粘液质、胆汁质和抑郁质四种有明显差异的气质型以来,后人对此学说的贡献主要有两点:一是比较科学地解释了这四种气质的行为特征;二是把气质的内在机制归结为神经过程的作用。但是,这两点都不够彻底:在解释气质的行为特征时,各     

浅谈当前大众文学中的道教文化内涵

20世纪90年代中后期以来,道教文化陡然成为了中国大众文学(尤其是网络小说)重要的表现内容.本文尝试着对这种文化现象的主要表现方面及其内在的社会文化促成因素略作讨论.     

产品传统文化载荷对品牌地位的影响——来自青年消费群体的证据

4项行为实验与1项脑成像实验一致证实,增加产品的传统文化载荷能够提升消费者对产品品牌地位的感知评价。赋予产品更多的传统文化内涵能够激活消费者的社会认知脑区以及奖赏脑区,提升消费者的社会价值感知,进而影响其对产品品牌的地位感知评价。产品类型调节产品传统文化载荷对品牌地位的影响,传统文化载荷对品牌地位的赋能作用更适用于实用型产品,对享乐型产品品牌地位感知的影响并不明显。该研究发现拓展了文化营销的研究范畴,并揭示了中华传统文化赋能品牌地位的认知神经机制,同时对实用型产品生产企业如何利用中华传统文化实现品牌地位管理具有重要实践意义。     

类型逻辑语法的词汇主义思想

类型逻辑语法(Type Logical Grammar)是经典范畴语法(Basic Categorial Grammar)的一个现代版本,是范畴语法与类型逻辑语义学联姻的产物。利用加贝(D.Gabbay)[1]给出的加标演绎表述,类型逻辑语法实现了句法生成和语义组合的并行推演,句法生成基于Lambek演算提供的范畴运算,而语义组