允许修改推理规则的开放逻辑

最近,李未为了刻划知识的增长、更新以及假说的进化建立了一个开放的逻辑理论,特别是得到了认知进程的收敛性定理这样一个深刻的结果。其后,他在文献[2]中又将其作为逻辑框架应用于知识基的维护。在知识库中,除了一些事实(相当于句子)作为知识之外,还有其特有的一些推理规则,而且这些推理规则有时也会遇到反驳,需要加以修改和维护。本文试图在开放逻辑中引入推理规则的反驳与修改。值得注意的是,其它一些关于知识基维护的理论,如Alchourrón,Grdenfors与Makinson都没有触及这个问题。     

L~*中的典型赋值中介与公理系统的简化

出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ　　当且仅当├(Ａ→Ｂ)且├…     

M/M/K混合制系统等待时间的平稳分布

该系统有K个服务台,最多可容纳N个服务对象(N>K),对象来源不受限制,服务规则为FCFS。     

中介命题逻辑MP和中介谓词逻辑MF的可靠性

本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和MF,证明是一个有穷的形式推理关系序列,其中任一形     

一个有效的模糊推理方法

在基于规则的知识系统中,知识的不确定性通常是采用如下的规则形式来表示的: IF antecedent THEN consequent WITH confidence x.如果要启动和执行某个规则,只需在当前的数据库中有与该规则的前件相匹配的事实即可触发该规则,从而使不确定性得以在推理网络中传播。这种传统的产生式规则有如下的两个主要缺点:     

非逻辑思维流中的正干扰

现代思维科学从思维的形式角度把思维分为逻辑思维和非逻辑思维所谓非逻辑思维是指思维主体在违反逻辑常规前提下采取思维跳跃形式直接导向思维结果的思维活动一般认为非逻辑思维包括联想、想像、隐喻类比、灵感、直觉和顿悟等，其特点是没有严格的逻辑规则，不必借助概念、判断、推理等就可达到思维目的，具有直接性、形象性、非线性，无意识性和开放性。     

向量化的一种新方法

称作A0型的,倘若I~o,s和c_j、d_i、c_(ij)、d_(ij)编译时可计值;称作A型的,倘若c_i、d_i、c_(ij)、d_(ij),编译时可计值。如果把逻辑IP的首部、块IF替换成逻辑暂存句,剔除ELSE和ENDIP后剩下一个A型循环(称作闭体),则称原循环为IO型的。 定义2 赋值句左部量称作右部量的子女;同一元素的后一定值称作前一定值的再生。 在出现队列里构造时序层次的公理系统:     

基于模式匹配的网络入侵检测系统

设计了一个基于模式匹配专家系统的网络入侵检测系统,并介绍了该专家系统采用的模式匹配原理,即主要采用存在模式和规则表示模式.     

带壳Boole代数与险象识别逻辑

为尝试给Fuzzy推理建立严格的逻辑基础,文献[1—10]构造了一种新的Fuzzy命题逻辑,其中对Fuzzy公式的评价程度化的思想和方法颇具创造性,比如:Σ-(α-重言式)、Σ-(α-HS)规则、Σ-(α-HS)规则以及支持度理论和α-三I算法等就是这样。另一方面,从文献[11]可知6值逻辑系统K_6~1在组合线路的险象识别中已有成功的应用,但是对其数学基础的研究尚嫌薄弱,并且由于缺少适当的蕴涵算子因而     

基于模式匹配的网络入侵检测系统

设计了一个基于模式匹配专家系统的网络入侵检测系统，并介绍了该专家系统采用的模式匹配原理，即主要采用存在模式和规则表示模式。     

“不用归纳的归纳证明”与相对完备性

一、引言 一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完     

一些硼烷分子的自然杂化轨道研究

近年来缺电子的多面体硼烷结构一直是一个理论和实验上很活跃的研究领域。知名的工作有Lipscomb及其合作者的大量ab initio计算和定域结构分析Wade的N+1规则等。唐敖庆等又把Wade规则推广成4n—F规则。     

用于地质填图的专家系统—AMARA

本文系统地介绍了一个用于地质填图的专家系统—AMARA。该系统的目的是在地质岩性填图方面为航空物探解释人员提供咨询。系统能够识别异常和区分引起异常的地质体的岩性。系统采用了正反向混合双阈值不精确推理策略,而且把知识处理与数值处理有机地结合起来。这些新技术不仅保证了推理效果,而且提高了推理效率。     

Horn集上RUE-NRF推理规则下的输入半锁反驳

文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NRF推理规则。它的特点是把等词的自反性,可传性以及替换性包括在这一推理规则之中,从而在整个定理反驳证明过程中不再出现任何等词公理。文献[3]证明了这一规则的正确性和完备性,并用布尔代数,群论和环论等十七个定理在计算     

基于证据语义的算子模糊逻辑

70年代知识工程的出现与发展,使得不确定性推理成为人工智能领域的研究热点,从而形成了诸如证据理论、可性度理论、模糊推理理论等研究课题.刘叙华首次研究了算子模糊逻辑(见文献[2]),提出了两种模型,即OFL(算子模糊逻辑)和AOFL(结合算子模糊逻辑).陆汝钤指出了OFL和AOFL在证据语义下的不合理(OFL和AOFL是基于可信度语义的),并提出了基于证据语义的算子模糊逻辑EOFL,MOFL和AOFL,本文将其统称为EOFL.本文将介绍EOFL系统及其在证据语义下的合理性.     

多层前向网络拓扑结构学习算法的实验研究

人工神经网络研究热潮的再度兴起有其客观的历史背景。SO年代以来，以符号机制（Spoblim）为代表的经典人工智能形式体系取得了巨大的成功。SO年代，当人们对过去30年的成就与问题进行反思时，却不得不承认，智能系统如何从环境中自主学习的问题事实上并未很好的解决。从逻辑上讲，以演绎逻辑为基础的算法体系可以发现新的定理，却无法发现新的定律。也就是说，基于符号推理的经典人工智能形式体系在机器定理证明方面的成功和在规则提取方面的失败同属必然。从培根时代开始，那些热衷于研究知识发现内在逻辑的人们就已经隐约地意识到，归…     

中介逻辑的同异性演算系统——带等词的中介谓词逻辑

本文构造带等词的中介谓词逻辑ME~*,它比MF~*多一个形式符号=,常谓词=的名称是等词,读为“等同于”.ME~*比MF~*多一条形成规则,即当a、b为项时,a=b是合式公式,关于项的定义参见[2]§17,在ME~*中实为个体     

类比方法的本质和启发作用

类比方法的本质科学类比是根据发现两个对象在一系列本质特征上相似,并考虑到它们在其他方面存在差异而进行的推理,结果推出,在研究一个对象(模型)时发现的那些性质为另一个对象所具有。这个定义既把握住了认识论基础(主体思维反映实在的内容和形式),也把握住了类比推理的各个关键的逻辑要素。     

公文写作中的逻辑作用

公文写作离不开逻辑,因为只有遵守逻辑的基本要求,做到概念明确、判断恰当、推理有逻辑性,才能使公文主旨明确、语言准确、结构清楚,以保证公文表述的准确性与清晰性,从而更好地发挥公文的政策性、权威性和严肃性在日常公务活动中的重要作用。