实际亲密度对自我概念包含不同类型他人的调节效应

目的:已有自我概念包含他人的研究大都以自我与他人之间社会规范上应用的亲密度为基础,本研究探讨实际亲密度对自我概念包含不同类型他人的影响。方法:使用自我包含他人问卷(IOS),控制自我与母亲(先赋性关系)、自我与他人(交往性关系)之间的亲密程度。采用2(亲密度:高,低)×4(参照条件:自我,母亲(或交往性他人),一般他人,字形)×2(判断方式:R,K)的混合设计,因变量以R/K判断的正确率为指标。结果:R判断结果表明,无论亲密度高低,自我与母亲之间差异不显著;高亲密度条件下,自我与交往性他人之间R判断差异不显著,而低亲密度条件下差异显著。结论:实际亲密度不影响自我概念包含先赋性他人,但对自我概念包含交往性他人具有调节作用。

基于扩展标记的改进本体概念分类算法

研究Pellet系统本体概念分类算法及其优化技术,在此基础上给出一种基于扩展标记的改进算法。该算法通过概念间已知的包含关系,控制分类过程中遍历时概念加入的顺序,并最大程度地双向传播这些关系,从而有效地降低概念包含测试的次数。验证结果表明,该算法的概念分类性能平均提高约22%。

基于OBDD的描述逻辑εL循环术语集推理

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.

被忽略的第四种定义——对康德分析/综合判断外延定义的重构与辩护

分析/综合判断的区分对于康德的批判体系而言有着举足轻重的意义,但他基于概念包含性、同一性、内容扩展性所引申出来的三种分析/综合判断定义自《纯粹理性批判》面世以来就饱受争议,并一直持续到20世纪。幸运的是,有一个新的角度可以为这个旧的困境提供曙光。通过对康德逻辑学讲座和相关笔记的解读与梳理,可以重构出康德对分析-综合判断的第四种定义,即一种以概念的外延,以及以对对象的归摄活动为基础的定义。而这第四种定义之所以为攻击者所长久忽略,是因为英美学界的刻板印象遮蔽了康德逻辑学的独特性所带来的革命性闪光。外延定义恰好体现了这种革命性--主要在于与康德判断本质新立场的一致性。从消极方面看,第四种定义的理论意义在于能够使一些固有反驳不攻自破;而其积极意义则在于在内容和方法上对康德理论哲学研究带来某种程度的扩展。

科学中的信誉、引证及选择——论戴维·胡尔过程科学哲学的核心理论

本文将讨论戴维.胡尔关于科学中信誉与引证的理论、科学概念进化中的选择模型,简析学界同行对胡尔选择理论的评论以及在相关科学观念上胡尔与库恩、波普尔之间存在的差异,最后,指出胡尔理论的问题所在。