关于事实反驳与一般假说的开放逻辑

最近李未给出了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论.开放逻辑的一个重要概念就是假说重构.开放逻辑的其它重要概念如认识进程等的定义及其有关性质都可依赖于假说重构的概念而得到.假说重构有两种:N-重构和R-重构,从构造上说,N-重构较为简单,R-重构较为复杂.故R-重构可以说是建立开放逻辑的关键.而R-重构相应的模型论概念是理想事实反驳,因而对事实反驳的进一步研究无论对开放逻辑本身,对开放逻辑在知     

开放逻辑中的R-重构

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.     

一个有效的模糊推理方法

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

N系统:一个自然时序演绎系统

近年来,时序逻辑已成为程序和动态信息系统的描述与验证的一个强有力的工具。本文提出了一个可以很容易扩展到其它时序情形的命题时序逻辑的自然演绎系统——N系统。在N系统内,推理规则分成两组:水平推理规则和垂直推理规则。     

二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

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

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

面向脑电数据的知识建模和情感识别

心理科学研究依赖于对生理、心理数据的分析,情感是心理研究的重要内容.近年来随着认知神经科学研究技术的成熟,研究者利用脑电(electroencephalogram,EEG)等可以反映脑功能活动的生理信号,直接研究情感问题,如情感识别、情绪脑等.但是,生理信号将会产生TB级甚至PB级的数据量,认知研究和临床神经科学在过去几十年中已产生大量生理数据,对这些大数据的表示和情感知识挖掘需要更高级的工具.构建能够表示数据含义和情感相关知识的模型,能够给心理研究者提供一个知识共享平台,以便使用这些大数据进行情感方面的科学研究.本文构建一个可以表示EEG数据语义和被试者上下文信息的本体模型,并基于该模型使用推理引擎进行基于EEG生理信号数据的自动情感识别.实验结果表明,模型在e NTERFACE 2006数据集上能够以99.11%的平均准确率识别被试者的情感状态,并从实验结果分析发现基于EEG数据情感识别最关键的特征是Beta波与Theta波的绝对功率比.     

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

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

一个基于知识排序的线性正向推理算法

一、引言 基本正向推理算法山中,每个“匹配-冲突求解-执行”的三阶周期都涉及到知识库中各条知识的匹配问题,对每个周期中能够匹配的可用知识又涉及到当时执行或不执行的问题。有些知识可能在一次问题求解的整个过程中都不能被匹配,但必须每次周期都进行检测;有些知     

λ-Horn集上的λ-单元锁归结

我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规     

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

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

科学方法论:历史形态和发展水平

作者提出科学方法论有自然哲学方法论、哲学方法论、逻辑方法论和理论方法论四种历史形态。产生于古希腊的自然哲学方法论的特征是,把认识着的个人的纯粹思维看做为真正的知识,以“直接知识的原理”作为其最重要的认识原理。特别注重经验研究的哲学方法论是在古典自然科学形成时期(16～17世纪)形成起来的;它的各个方法论原理同哲学基本问题密切相关,因此称为哲学方法论。这种方法论的发展表现为唯一理论和经验论相互斗争而产生各种变型。逻辑方法论企图把逻辑作为适用于一切知识领域的方法论,是在19世纪下半期从穆勒的归纳逻辑开始大力发展的数。理逻辑的产生和发展加强了这方法论研究方向。理论方法论在现代科学方法论出现各种研究方向和水平纷呈的复杂局面中应运而生,它的研究是最近这几年才开展起来的。这种方法论是一种关于科学知识的一般理论。     

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

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

物理理论研究杂谈

物理理论的研究,应建立在有事实依据的推理之上,从尽可能少的假说或公理出发,通过逻辑演绎,概括尽可能多的经验事实。在理论研究中,应及时总结经验教训,一旦建立起理论框架后,需不断经受实验的检验。科学中的反复是前进中的反复,在此过程中,新的认识是在吸取原有经验教训的基础上产生的,直觉的想象在现代物理理论研究中并不可靠一文通过实例阐明了一些观点,这对物理理论的研究是有启迪作用的。     

换种方式推理

人的推理不仅与动物有差别，而且很多时候人与人之间的巨大差别也仅仅是想法、观念和推理的不同。然而想法不同或推理不同，人们行为的结果可能就完全不同，因为是思维在支配着人们的决策、语言和行为以及语言的方式和行为的方式。     

数学：问题与答案

四年一度的国际数学家大会这次在瑞士苏黎世举行，它使得世界各地活跃在教学研究和教学的3000多位数学家会聚在一起，苏黎世城到处都是这一特别种类的科生言人打1五万件三门‘这些数学家到底是干什么的？这个问题即使是在其它的一些场合也经常地被问到，为此我就对这门学科的本质特性及其推理过程作一些探讨。费马大定理1993年6月，一个激动人心的报告传遍了整个数学界，它通过电子邮件以闪电般的速度到达甚至是非常遥远的研究所、学院和大学，著名的有350年历史的费马大定理被证明了。使大多数数学家感到惊奇的是这个报告在许多非专门的媒…     

人类思维的计算机仿真——其前景及限制

人类思维计算机仿真的前景和限制取决于人类思想的概念。就计算机仿真的目的而言,我们将思想定义为对事件进行符号化的过程,然后用各种逻辑的及非逻辑的推论将这些符号进行演算。将思想这个概念会同某个哲学体系一起来考虑看来是合理的,因为概念的形成、判断、推理及问题求解都是一些哲学问题。在本文中讨论了一个问题的各种解决方法,这些解决方法是由一些最重要的哲学体系所引起的。     

科学理论结构剖析

一个完整的科学理论是由其各个成分结合而成的有机整体。科学理论的结构就是这些成分之间相互关系的总和或整体表现。构成科学理论的主要成分有:概念、定律、对应规则、逻辑形式和模型。概念是科学理论的“细胞”。有两类基本概念:一类,与直接经验相联系、明确标示或对应某种客体     

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

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

非逻辑思维流中的正干扰

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