项目反应理论及其在计算机自适应测试中的应用

项目反应理论IRT(Item Response Theory)以强假设为基础,具有经典测试理论(CTT)所没有的众多优点,是计算机自适应测试的新突破.本文介绍了IRT的特点,以及基于IRT的计算机自适应测试(Computer Adaptive Test)工作原理、需要解决的难题以及相关设计原理.     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

试论通过法律解释及漏洞填补等方法实现个案正义

法律解释和漏洞填补等方法可以调和法律的普遍规定与特殊调整和具体适用之间的尖锐矛盾,在个案审理中发挥了重要的工具作用。尤其在法律相对滞后的情况下,如何使当事人各方利益都得到体现,如何使法律正义、程序正义得以体现是每一个法律工作者毕生追求的目标。     

浅析格式合同及其解释、效力

随着市场经济的发展 ,格式合同应用越来越普遍 ,随之带来的是法律对其规定的日益完善。文章通过对格式合同历史发展过程的简要分析 ,阐述了对格式合同的解释存在歧义时 ,应作不利于提供格式合同一方的解释 ,格式合同的条款无效的效力也限于提供合同的一方 ,另一方不承担相应的无效责任     

建立计量经济模型时解释变量的筛选

正确选择解释变量是计量经济模型建立好坏的一个关键。解释变量太多,会造成模型庞大,计算 复杂,还可能会包含一些不重要的因素,影响模型估计的效果;太少,有可能会使模型丢失一些重要变量,影响 模型的代表性。     

中国历史最经典的六个人才智慧案例

中国历史悠久，各种人才智慧的学说纷呈，而人才智慧的典范更是举不胜举。中国是一个智慧大成的民族，人才智慧的经典案例，让人拍案叫绝，下面精选几例，供大家借鉴。     

王阳明的儒家经典诠释方法论探析

王阳明的儒家经典诠释方法论,就是读者运用自己的“良知”,去与经典文本意义中体现出来的圣人的“良知”相交融。从了解经典文本的符号意义,进而了解经典文本意义中的“理”,最终达到对于圣人“良知”的体悟,实现自己的“良知”。     

中西集句诗论比较

中西文学史上的创作者与批评者都习惯将集句创作比喻为文本补缀的艺术,这为二者的理论比较提供了基础。集句倾向于采择具有公共性的文本材料,所谓“公共性”一般只能依托于文学经典。这使集句本身带有文学追忆与经典崇拜的性质。集句作为一种写作,形式上是文本的转移与组合,但又不止于此,这一过程还包含着意义的重新“赋予”。换言之,集句创作者是在进行文学的再生产。每一次再生产,都使原先的经典文本或多或少发生了意义上的转变。因此,看上去仅仅是文本游戏的集句诗,实则也是在探索语言、文本的意义边界。这个边界总是可以被不断推展。     

戴维森的后期意义理论及其对话辩证法思想

较之其早期的成真条件意义理论,戴维森在20世纪90年代构建的后期意义理论尚未受到应有的关注。戴维森的后期意义理论不是对其早期意义理论所做的无关宏旨的修补,而是体现了完全不同的理论旨趣和形态。对戴维森的后期意义理论进行分析探讨有助于我们更为全面地理解戴维森的哲学思想,在某种意义上对于我们更好地把握当代西方哲学的动态发展也不无裨益。戴维森通过引入解释者这一要素将解释活动置于解释者、说话者以及共同世界三者的互动关系之中。戴维森所构建的人—他人—世界三元互动的三角测量解释模式,旨在表明语言理解依赖主体间的语言交流互动,意义不是预先设定的,它是交流互动的产物,是解释行动的结果。戴维森的后期意义理论拒斥语言交流和意义的约定论,强调语言理解的主体间性,彰显对话性和动态生成性,蕴含了对话辩证法的思想。