相关逻辑及其推理

为了排除“实质蕴涵怪论”,Ackermann于五十年代提出了相关逻辑。尔后,由Anderson和Belnap等人进行了研究。近期,其进一步研究主要集中在美国和澳大利亚。本文简要介绍了命题相关逻辑R的一个子系统LR及其自动推理方法。

基于强相关逻辑的不精确应急时态知识表示

在强相关逻辑基础上扩展不精确时态关系,以满足不精确应急时态知识表示与推理的需要。给出了粗糙集及强相关逻辑的相关概念;通过定义不精确时态关系扩展了强相关逻辑,形成了粗糙时态强相关逻辑,给出了可靠性和完备性证明;通过实际例子说明粗糙时态强相关逻辑的知识表示和应用。结果表明扩展后的粗糙时态强相关逻辑可以实现不精确时态知识的表示与推理。

基于强相关逻辑的贝叶斯网络结构学习方法

对问题域的经验知识进行知识发现并形成贝叶斯网络结构是贝叶斯网络建模的核心问题。但是现有的结构学习方法的底层逻辑系统不具备知识发现的能力。强相关逻辑（strong relevant logic，SRL）系统的相关推论是获取新知识的有效手段。为了解决传统贝叶斯网络结构学习方法的主观性问题，本文提出一种新的贝叶斯网络结构学习方法。该方法首先建立了一种强相关逻辑为基础的贝叶斯网络形式化的表达系统，给出了方法实现的流程及其子算法，最后通过实例分析该方法进行结构建模的有效性。

用相关逻辑判伤技术检测钢轨一孔上斜裂纹

用常规方法检测钢轨一孔上斜裂纹时，容易发生漏检，文章提出一种采用０°＋３７°组合探头的相关逻辑判伤技术，以弥补这一缺陷。

相关逻辑L_5系统的Curry性质

本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L_5中,若多重集α是L_5^-可证的,则存在α的L_5-证明τ具有Curry性质,从而简化了L_5可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L_5证明搜索的LR的自动定理证明的剪枝效率。

相关推论与强相关逻辑

推论的能力,尤其是抽象推论的能力,无疑是人类智能最本质的特征之一,因而应该是任何以实现人工人类智能为目标的计算智能系统都应该提供的必不可少的功能。本文简要介绍相关推论和相关逻辑。分析表明,为相关推论提供逻辑有效性保证的强相关逻辑,对于以发现或预测为最基本功能的各种计算智能系统来说,具有无可替代的关键作用。

上下文相关模糊逻辑系统及其归结方法

提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统 ,该逻辑系统中命题的真值是不惟一的 ,它依赖于可能世界W中的个体 .文中还定义了逻辑联结词的运算和公式的语义模型 .最后研究该逻辑系统中的归结方法 .

逻辑相关函数和算术相关函数之间的变换在实用上的单向性

从计算速度和统计特性两个方面研究了借助于Ｗａｉｓｈ变换来估算算术相关函数的实用性，指出这种想法是不切实际的，因而说明逻辑相关函数和算术相关函数之间的变换在实用上具有单向性。同时也澄清了某些文献中的错误观念。

国有控股公司利益相关者合作与财权安排

按照利益相关者合作逻辑在公司建立共同治理机制,是现代市场经济的内在要求,是公司治理研究的前沿课题。公司财权安排是公司治理结构所解决的关键性问题。目前,我国国有控股公司的财权安排基本上是遵循"股东至上"逻辑,造成财务决策效率低,内部人控制问题严重。要突破"股东至上"逻辑,就必须按照利益相关者合作逻辑,在国有控股公司的财务方面建立共同治理机制,包括共同的财务收益分享机制、共同的财务决策机制和共同的财务监督机制,使各利益相关者都有平等机会参与公司财权的分配。

基因逻辑网络研究进展

海量生物数据的涌现,使得通过数据分析和理论方法探索生物机理成为理论生物学研究的重要途径.特别是对于基因的复杂的功能系统,建立基因网络这种理论方法的意义更为突出.Bowers在蛋白质相互作用的分析中引入了高阶逻辑关系,从而建立了系统发生谱数据的逻辑分析(LAPP)的系统方法.LAPP和通常建立模型的方法不同,它给出了一个从复杂网络的元素(或部件)的表达数据出发,通过逻辑分析,找到元素之间逻辑关联性的建模方法.这种方法能够从蛋白质表达谱数据出发,利用信息熵的算法发现两种蛋白质对一种蛋白质的联合作用,对于发现蛋白质之间新的作用机理有重要意义.由于涉及功能的基因组通常是一个大的群体构成的系统,因此LAPP方法也是一个生成复杂的基因逻辑网络的方法.基因逻辑网络的建立,方便实现通过逻辑调控进行基因调控的目的.这种方法可以应用在很多方面,如物种进化、肿瘤诊疗等等.系统阐述并分析了LAPP方法,并指出其在方法和应用方面的新进展以及评述.

利益相关者理论及其治理机制

本文认为 ,“股东至上论”只是“利益相关者理论”的一个层次 ;企业是契约的联合体 ,利益相关者模式是必然选择 ;最大化股东财富绝不等价于最大化利益相关者价值。实现利益相关者价值最大化的公司治理结构有两种 :一是以董事会为中心 ,二是以财权配置为中心。利益相关者治理机制除了是一种共同治理、相机治理外 ,更是一种动态治理。

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.

基于小文件的内存云存储优化策略

由于内存云RAMCloud采用日志段的方式存储数据,因此当大量小文件存储于RAMCloud集群时,每个小文件独占整个段,会产生较多的段内碎片,从而导致内存的有效利用率较低以及大量的内存空间浪费。为了解决这个问题,提出基于文件分类的RAMCloud小文件存储优化策略。该策略首先根据文件的相关特性将小文件分为结构相关文件、逻辑相关文件以及相互独立文件三类;然后在存储时对结构相关的文件使用文件合并算法,逻辑相关和相互独立的小文件则使用分组算法。实验结果表明:同未进行优化的RAMCloud存储策略相比,该策略能有效提高集群内存利用率。

刑事诉讼中运用品格证据判断人证真实性研究

刑事诉讼中运用品格证据审查判断人证真实性是我国法律中的空白点。本文从逻辑相关性与法律相关性的角度探讨了品格证据能够影响人证真实性的原因,论述了刑事诉讼中品格证据排除规则及例外情况,论证了有罪判决的证据及名誉证据对人证真实性的影响以及应设立的相关规则。

庭审叙事特征分析

叙事首先是作为文学要素发展起来的,因此通常被用于文学作品的研究。随着叙事理论研究的不断深入,现在叙事学已经成了一个多学科研究方法,并被广泛用于各个领域的研究。从法庭审判的功能来看,开庭审理即人民法院在当事人和所有诉讼参与人的参加下,全面审查认定案件事实,并依法作出裁判或调解的活动。因此,庭审中认定事实的过程就是一个案件事实的构建过程,构建的主要方式是叙述。庭审中的叙事有很多其自身的特征。

Atomic Entailment and Atomic Inconsistency and Classical Entailment

In this paper we put forward a new solution of the well-known problem of relevant logics, i.e., we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of atomic inconsistency. The atomic inconsistency establishes an infinite class of inconsistent, but non-trivial systems. In this paper we construct the new definition of the classical entailment, into the bargain.

情报检索系统性能评价介绍(一)

情报检索系统评价是情报检索领域内的一个重要分支,系统性能的评价又是整个系统评价的主体部分。二十多年来,国外在这方面进行了许多颇有价值的理论的和试验的研究,取得了很多成果,正在推进着评价理论的形成。本文试图全面介绍国外的有关情况,从情报检索系统的基本概念出发,概述了检索系统的评价,分析了同评价密切相关的情报提问与情报需要、相关性与切合性之间的区别和联系,引进了检索系统性能评价的主要测度和其他测度,阐述了影响检索系统性能的因素,指出了检索系统性能评价的范围、设计与实施步骤,讨论了评价结果分析和改进系统的方法,最后,介绍了三个影响较大的试验。在我国,检索系统评价的研究工作进展比较缓慢,还没有引起足够的重视,本文旨在促进该项研究在我国的开展。

加强统计监督 为医院领导决策和医疗工作服务

在全社会都在关注“看病难，看病贵”的今天，医院真正做到让老百姓“少花钱，看好病”，必须走“以病人为中心，提高医疗服务质量，控制医疗费用不合理增长，向管理要效益。”这一可持续发展的道路。在这前提背景之下，统计工作的责任更加重大，在提升医院管理质量，提高医院的经济效益的过程中，统计参与医院经营的全过程，面临许多新问题。