基于网站结构挖掘的Web文档自动分类

对Web文档进行人工分类可以达到准确的分类效果,但需要大量的时间和人力的投入。传统的基于特征向量的分类方法准确性较低,文中提出把挖掘网站的拓扑结构和现有的文档分类方法相结合,并根据扩展网页的特征提取,挖掘出单个网站的分类模式,再将多个网站的分类模式进行综合,生成搜索引擎的分类模式。

演绎推理认知神经研究

本文从线性三段论推理、范畴三段推理和条件推理三方面简述了当前演绎推理认知神经研究的进展;从三方面归纳了近年来各类型演绎推理脑成像研究的脑激活区域,介绍了若干典型研究的技术模型;分析了当前研究的两方面分歧,即左右半球优势加工分歧、语义依赖和独立分歧,初步提出了当前研究的若干思路。

论替换中项法——对三段论方法的新探索

三段论的本质问题是在前提中的大、小项通过系词"是"或"不是"分别与中项直接联系的情况下,以何种方式发挥中项的"媒介"作用,使得大项和小项也用系词"是"或者"不是"直接联系起来来得出结论。研究发现,中项发挥"媒介"作用的方式(或机制)是替换中项法。替换中项法是三段论的新方法,它能够一揽子解决三段论的推理问题、判定问题、证明问题和补充省略前提等问题;而规则法、文恩图解法和还原法等三段论方法一般只能解决其中某一个问题。此外,替换中项法还能够证明三段论传统规则。因此,替换中项法具有三段论其他方法无法比拟的优越性。

动词延伸义和双重范畴化关系:对领主属宾句和存现句的统一解释

领主属宾句和存现句在语义和句法层面体现了论元异构现象。Zhang(2006)利用动词延伸义和双重范畴化关系对致使移位句的论元异构现象进行的分析,同样适用于领主属宾句和存现句。动词在领主属宾句和存现句中产生了延伸义,可以和动词的规约义和构式的概念义建立双重范畴化关系并得到允准。动词延伸义协调了规约义和构式义的矛盾,解释了领主属宾句和存现句的语义和句法特征。

试论替换中项法——对三段论方法的反思与重建

词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正是我们发现的这种方法。

含负词项的三段论研究

基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。

论替换中项法下的直言三段论自然推理系统

替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索。

直言三段论推理模型与方法

根据直言命题的语义和周延性方向性等性质构建直言三段论推理模型和推理方法,来简明、恰当处理包括传统三段论在内的所有直言三段论推理,提高直言三段论对日常思维的表达和规范能力,更好发挥三段论逻辑在推进素质教育中的重要作用。

关于直言三段论规则4及相关问题的探讨

词项逻辑的预设前提——主谓项均为非空非全的类,决定命题的换质变形是普效的。据此当然也可对三段论的前提进行换质。这样就使得三段论规则4不是普效的,应该废除,以保证词项逻辑的体系一致性。

替换中项法研究——补充省略三段论的前提和结论的能行方法

在三段论前提中,通过系词"是"或者其否定"不是",中项与大、小项直接联系起来;同时,中项又把大、小项间隔开来。如何"消灭"、"扬弃"中项,把小项和大项也用系词"是"或者其否定"不是"直接联系起来,以得出所需要的结论?这是三段论的本质问题。解决此问题的方法是替换中项法。替换中项法是补充省略三段论的结论和前提的能行方法。

基于量词语义与性质的扩展三段论

在广义量词理论中,如果一个表达两个集合外延关系的二元量词具有单调性等性质,那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系,从而构成单调方阵。基于二元量词的语义和单调性等性质,可以简洁明了地进行包括传统三段论在内的扩展三段论推理,从而极大地提高了三段论的表达能力和对日常思维的规范能力。

关于单称命题的三段论推理

大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念:"在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。"通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这一观念。经过提出的25个事实表明:利用广义量词理论和集合论,不仅可以形式化地表示关于单称命题的三段论,而且还可形式化地判断和证明其有效性及相关语篇推理的有效性。这些形式化的创新研究有利于语言学(包括计算语言学)、认知科学、人工智能、计算机科学中的知识表示和知识推理等相关研究的发展。

传统三段论的一个简明体系——基于直言命题语义与性质

传统逻辑中的直言命题其实是表达论域上两个集合外延关系、具有二元量化结构的命题的特例。直言命题的语义与对称性和周延的方向性等性质是三段论的根据,据此可以建立传统三段论简明体系。

一个传统逻辑的难题

在传统逻辑中,有一个熟知的难题,即SAP→SEP'→P'ES→P'AS'→S'IP'→S'OP,在这个推理串中,每一步推理都是符合规则的,但总的结果却是违反规则的:在前提中不周延的词项P在结论中却变成周延的!这一结果是由以下三个因素共同造成的:直言命题的主项存在假定,推理规则N:"在前提中不周延的词项在结论中不得周延",以及关于直言命题中主谓项周延性的四条规定。因此,要解决那个难题,我们至少有三种不同的选择:放弃主项存在假定,修改推理规则N,修改关于周延性的那些规定,而每一种选择都有可接受的后果和不可接受的后果,因而不是一个容易作出的选择。该难题仍然期待一个最终的系统解决方案。

中法11岁儿童三段论推理对比--基于自然三段论和传统三段论的实验

自然三段论是指省略了一个隐含在语义记忆中的全称肯定前提的三段论。大部分对传统三段论的研究都指出非专业的普通人在使用传统三段论时正确率很低,这与他们在日常生活中较高的论辩能力形成了鲜明对比。检验我国11岁儿童是否也能熟练地解决自然三段论,并与法国结果做对比。实验结果表明:我国11岁儿童可以熟练地解决自然三段论,他们在自然三段论上的答对率显著高于在传统三段论上的答对率,但在自然三段论和传统三段论上的表现普遍低于法国儿童。

基于资源分配网络和语义特征选取的文本分类

针对资源分配网络(RAN)算法存在隐含层节点受初始学习数据影响大、收敛速度低等问题,提出一种新的RAN学习算法。通过均值算法确定初始隐含层节点,在原有的"新颖性准则"基础上增加RMS窗口,更好地判定隐含层节点是否增加。同时,采用最小均方(LMS)算法与扩展卡尔曼滤波器(EKF)算法相结合调整网络参数,提高算法学习速度。由于基于词向量空间文本模型很难处理文本的高维特性和语义复杂性,为此通过语义特征选取方法对文本输入空间进行语义特征的抽取和降维。实验结果表明,新的RAN学习算法具有学习速度快、网络结构紧凑、分类效果好的优点,而且,在语义特征选取的同时实现了降维,大幅度减少文本分类时间,有效提高了系统分类准确性。

布尔逻辑思想初探

以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸显布尔逻辑思想当代价值的关键。

从结构主义的视角看EAE-2三段论与其余23个有效三段论之间的化归

借助亚氏量词三种否定量词的定义、量词no和some的对称性、命题逻辑的推理规则,仅以EAE-2直言三段论为基础公理,就可以推演出其余23个有效的直言三段论,从而为直言三段论逻辑建立起极简的形式化公理系统。这一创新性研究表明:形式化的逻辑学具有结构主义特征,即:它不仅研究思维形式及其规律,而且也研究思维对象的结构以及结构之间的关系。

语法特征的强弱及对韩国语研究的启示——兼评《强势语法特征与汉语相关句法现象》

《强势语法特征与汉语相关句法现象》一书以指宾状语句、多项式名词状语句、倒装句、“把”字句、“V+数+动量+名”结构和“N+们”结构为研究对象,通过扩充的特征核查理论对此六类句法现象作了统一阐释。分析最简方案的理论框架可以发现,六类句法现象所发生的句法异变均与“强势语法特征”相关。

评估纸片扩散法与 Vitek2-compact GN13测定肠杆菌科细菌体外药敏及 ESBLs 可靠性的研究

目的：评估纸片扩散法与Vitek2-compact GN13测定肠杆菌科细菌体外药敏及ESBLs的可靠性。方法本研究选取了2011—2012年从21家医院腹腔感染患者中分离的93株肠杆菌科细菌。分别采用纸片扩散法、Vitek2-compact GN13、微量肉汤稀释法测定其对氨苄西林-舒巴坦、哌拉西林-他唑巴坦、厄他培南、头孢他啶、头孢曲松、头孢吡肟、亚胺培南、阿米卡星、环丙沙星和左氧氟沙星的体外敏感性。以微量肉汤稀释法作为参考方法，分别评估纸片扩散法、Vitek2-compact GN13与参考方法的分类一致率（ CA％）。利用PCR及测序法，在大肠埃希菌、肺炎克雷伯菌、产酸克雷伯菌和奇异变形杆菌中筛选超广谱β-内酰胺酶（ ESBLs）耐药基因，评估纸片扩散法与Vitek2-compact GN13表型确证试验筛选ESBLs的敏感性、特异性、阳性预测值和阴性预测值。结果纸片扩散法和Vitek2-compact GN13与参考方法的一致率均＞90％；但在使用Vitek2-compact GN13测定厄他培南、氨苄西林-舒巴坦、头孢他啶和头孢吡肟时，会出现一定比例的大错误（ ME，3．2％）和极大错误（ VME，2．2％）。此外，纸片扩散法和Vitek2-compact GN13对产ESBLs菌株测定的敏感性、特异性、阳性预测值、阴性预测值分别为96．7％（29／30）、100％（20／20）、100％（30／30）和95％（19／20）。结论无论是纸片扩散法还是Vitek2-compact GN13，对肠杆菌科细菌体外药敏及ESBLs的测定均比较可靠。但在采用Vitek2-compact GN13测定厄他培南、氨苄西林-舒巴坦、头孢他啶和头孢吡肟时，应注意可能出现ME及VME。