区间值语义下的Agent信念模型

从实际应用出发,在逻辑系统基础上,结合二维区间值语义,构建Agent模糊信念模型,并研究该模型语义的数理基础,分析系统可靠性、完备性以及重言式结构等特性,最后给出一些应用,这些研究不仅为Agent信念复杂性研究,而且也为Agent认知、决策等研究提供一定的逻辑理论基础.     

反科学语境里的魔鬼

一、科学主义和反科学主义 "科学和技术:天使抑或魔鬼?"是一个文学化的命题,它切中的是包括科技价值论在内的科技社会学基本内涵,存在于科学与反科学观点两极对立的语境中.我们在命题时把"科学"和"技术"分开来,是出于这样的考虑:就反科学主义思潮所指责而言,技术之罪甚于科学.但我们现在是在研究二者是天使还是魔鬼的问题,"科学"和"技术"内部的五十步与百步之差显得很不重要.这样,我们讨论的问题就是:"科技"--"科学和技术"--而不是"科学"和"技术"--的社会评价问题,亦即科技价值论.     

几种汉语移位现象的HNC研究

运用HNC理论的相关概念，对汉语的几种移位现象进行了一次全新的论述。就语义块的完全移位和部分分离现象，按照深层语义结构是否发生变化进行了分类，着重从语义块的分离、格式、句类的转换方面进行分析，得出结论：有些移位现象只是句子表面的变化，有些就改变了句子的深层语义结构。并且这些移位现象可用句类表示式及相关符号形式化地表示出来，便于计算机处理。     

基于本体的教育资源语义检索系统研究

为提高信息检索的准确率和全面性, 在对语义检索技术和领域本体的构建进行充分研究的基础上, 在网络教育资源的检索工作中应用了本体语义的概念, 提出对用户输入的查询条件进行基于本体的查询扩展算法,设计实现了使用Lucene 对扩展后的查询条件进行检索的语义检索模型。实验结果表明, 该检索模型的综合查全率为81郾5%, 综合查准率为83郾1%, 这两项指标均优于传统的关键字检索方法。     

基于深度CRF模型的图像语义分割方法

从图像中提取多种特征向量堆叠为一个高维特征向量用于图像语义分割,会导致部分特征向量的分类能力减弱或丢失。针对此问题,提出了一种结合深度卷积神经网络AlexNet和条件随机场的图像语义分割方法。利用预训练好的AlexNet模型提取图像特征,再通过条件随机场对多特征及上下文信息的有效利用来实现图像的语义分割。与利用传统经典特征的方法进行对比,实验结果表明:在利用AlexNet模型提取特征进行图像语义分割时,Conv5层为最有效的特征提取层,在Stanford background和Weizmann horse数据集下的识别准确率分别为81.0%和91.7%,均高于其他2种对比方法,说明AlexNet可以提取更有效的特征,得到更高的语义分割精度。     

中国辩护律师追责体制的变革问题

辩护律师追责二元体制有其历史演变的渊源和职业主义理论基石,该体制改革的现实基础有辩护律师规模扩张和身份转变、辩护律师刑事责任适用频繁和行政责任与纪律责任区分不明。在辩护律师追责范式的域外比较方面,美国的法院主导模式、德国的律协主导模式和日本的律协独享模式值得借鉴,律师协会完全自治缺乏普适性,由其享有部分监管权反映了现代法治国家分权治理的基本原则。辩护律师追责二元体制的改革路径包括二元体制下的司法化改革、实现宏观监管和微观追责相对独立、纪律责任与行政责任的有效衔接。辩护律师承担民事赔偿应纳入监管体系,实现从“二元”体制到“准三元”体制的转变,促进辩护律师追责体制的立体化。     

视觉概念学习方法研究进展

计算机视觉的核心问题是寻找视觉概念的层次化与结构化表示.以深度学习为代表的连接主义方法能够学习到输入图像数据的分层表示,这个表示具有优异的类内不变性与类间区分性,带来了视觉目标分类问题的突破式进展.而以图像随机语法模型为代表的逻辑主义方法试图基于先验知识和输入图像数据得到视觉概念的层次化与结构化表示,进而实现像人类一样的概念迁移学习,从更一般的意义上解释视觉现象.综述了两类方法各自的一些代表性工作,分析了其主要思路与各自的优缺点.分析认为,两类方法具有明显的互补性,在概率图模型框架下将两类方法综合是未来视觉概念学习的一个重要发展方向.     

基于语义分析的建筑业安全文化管理机制设计

安全文化在建筑业安全管理中至关重要，安全文化测评是发现安全文化薄弱环节和设计提升措施的重要依据。然而，现有安全文化测评指标表述简略且语言逻辑性不足，缺少管理机制视角的特征解析。该文基于管理机制设计理论和语义分析方法，从建筑业安全文化测评相关文献中收集测评指标，根据测评指标的语义角色分解提取出主体、行为、属性、时间、地点、方式、范围和原因8种管理机制元素，通过梳理所有测评指标的元素作用关系，归纳并构建了安全文化的单主体和双主体2种管理机制元模型并分析了其拓展形式。提出了基于管理机制设计视角的建筑业安全文化提升策略，并结合案例阐释了应用方式。构建的建筑业安全文化管理机制元模型及多种拓展形式，可为安全文化的提升措施设计提供参考。     

人类增强技术的合理性探析

在当前对人类增强技术表达诸多人文担忧的语境下，为了促进新兴人类增强技术发展，将从三个方面对其合理性予以探析。首先，健康是人生命存在的最基本保障，人类增强技术对人的健康具有强大的优势和正向人文价值，对身体健康、心理健康、社会适应良好和道德健康等均具有维护和促进作用；其次，人类增强技术将人类推向一种后人类的理想形态，对人类增强技术带来人的自主性和人性丧失的担忧都是不必要的，人类的进化史、人的本质的生成性和人作为操作性的存在都充分表明后人类理想人的可接受性；第三，从技术发展史的角度来看，人类增强技术是技术发展的必然结果，是技术发展向人的回归，也是人的技术本质的展现。人类增强技术符合人类自身和社会发展的逻辑，呼吁一种对人类增强技术的观念上的转变和对建构人类增强技术实践伦理的诉求。     

组合与收敛结构之分的新标准——弗里曼方案评析

组合结构与收敛结构的区分是非形式逻辑领域的一个核心问题,是论证结构研究的重点和难点,一直以来都没有得到合理解决。2011年美国学者弗里曼在反思已有区分方案的基础上,提出了以"中介要素"为标准的解决方案。该方案揭示了既有方案存在的问题及其错误根源,通过语法标准的设立为困扰学界已久的组合与收敛结构的区分问题提供了一条新的解决思路。该方案的不足在于无法合理解释收敛结构中推论规则的识别问题,而且,有时还会导致违反直觉的结论。