基于中介逻辑的模糊知识推理的搜索处理

中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。

基于中介逻辑的模糊知识表示及应用

本文基于中介逻辑理论,在知识描述中区分知识的"矛盾"与"对立",肯定对立的模糊概念之间存在中介对象(中介概念),将矛盾否定与对立否定运用于知识表示中;并以一金融决策实际问题为例,采用距离比率函数为模糊谓词表达式赋予属于[0,1]区间的真值,结合中介谓词逻辑的无穷值语义模型与具体情形,给出了模型中变量(取值的一种确定方法及其意义,最后通过一具体实例讨论了模糊知识推理。

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.

基于中介逻辑的近似推理

知识处理的发展对"否定知识"的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述。然后,扩展了近似推理的CRI算法。同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法。

中介逻辑演算系统MP^N及MF^N

为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ，并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。

中介逻辑的谓词演算系统(Ⅱ)

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[3]～xA(x)■x～A(x).定理11 MF:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)■(x)B(x),[4]x[A(x)→B(x)],■xA(x)■xB(x),[5]x[A(x)→B(x)],■x～A(x)■xB(x),[6]x[A(x)→B(x)],～■xA(x)■xB(x).定理12 MF:[1]xA(x)∧B■x[A(x)∧B],x 不在 B 中出现,[2]■xA(x)∧B■x[A(x)∧B],x 不在 B 中出现.[3]xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.[4]■xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.定理14 MF:[1]xA(x)∧■xB(x)x[A(x)∧B(x)],[2]■xA(x)∨xB(x)■x[A(x)∨B(x)],[3]xA(x)∨B(x)■x[A(x)∨B(x)],[4]■x[A(x)∧B(x)]■xA(x)∧■xB(x).定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]■x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].

中介逻辑ML的语法完全性

中介逻辑ML(MediumLogic)是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全(完备)性。本文研究了ML的语法完全性,证明了如下结果:(1)ML中的中介命题逻辑系统MP及其扩张MP*是语法完全的,中介谓词逻辑系统MF与其扩张MF*,以及含有等词的中介谓词逻辑系统ME不是语法完全的。(2)一般地,如果一个协调的逻辑形式系统不是语法完全的,则它的任何协调的扩张系统也不是语法完全的。

中介逻辑命题演算的扩张(Ⅰ)

如所知,中介逻辑的命题演算系统MP有三个命题联结词,即蕴涵词→,对立否定词和模糊否定词～。本文构造另一个中介命题逻辑MP°, 而MP°比MP多一个命题联结词,其名称为“真值程度词”,读为“真值程度不强于”或“真值程度弱于”。于是MP°要比MP多一条形成规则:即当A,B为合式公式时,则AB也是合式公式。至于MP°的形式推理规则,乃在接受MP的全部推理规则之外,另加如下三条: 本文根据MP°的形式推理规则去逐步生成它的形式推理关系(即形式定理)。定理2(MP°的替换定理)如果AB,而f(p)为MP°中含命题变元的任一合式公式,则有f(A)f(B)。

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。

关于“中介逻辑ML的一种模型”一文中的一些问题

本文针对[1]给出的中介逻辑ML的模型中出现的有关错误进行讨论并修改,修改结果表明,该模型实质上与Woodruff三值逻辑模型等价。

基于中介逻辑的模糊推理算法

中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。

中介逻辑的命题演算系统（MP^＊）的一些特征

本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推论2说明了MP~*与经典逻辑的命题演算系统(P~*)的关系。

类比逻辑、中介逻辑与悖论──兼论黄展骥的一分为三逻辑

类比逻辑、中介逻辑与悖论──兼论黄展骥的一分为三逻辑刘粤生，方军雄泛系观控相对论、类比逻辑、中介逻辑都是我国学者在实现科学逻辑、科学方法论的中国化过程中，具有独创性的研究成果。本大试在消解悻论这一目标上，论述三者及香港学者黄展貌的一分为三逻辑。一、泛...

归纳问题:休谟的挑战和中介逻辑的解释

在近代哲学史上,休谟看到了人类理性的消极一面和局限性,第一次明确提出了辩护归纳法或一般扩展性推理的疑难。他认为,在人的经验里,没有发现任何东西足以辨明必然联系或因果概念是正当合理的。因而,人们不能由原因必然地推知结果,不能为因果关系辩护。扩展性推理或称扩大知识的推理是以其结论的内容大于诸前提合取的内容为特征的,

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。

中介逻辑命题演算系统的可满足性的判定复杂度

[1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,～p,～p(p为原子命题)为基子句的析取范式,本文的主要结果为:判定以形如p,p,～p,～p为文字的子句集的可满足性问题是NP完全的。

基于中介逻辑的带有三种否定的RDF扩展

中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立概念间存在中介对象的逻辑系统。基于中介逻辑对RDF(Resource Description Framework)进行扩展,从而提出一种带有矛盾否定、对立否定和中介否定的RDF的扩展ERDF(Extension of Resource Description Framework),并且讨论了ERDF在语义Web搜索引擎中的作用。表明比RDF具有更强的知识表达能力,ERDF能够提高基于语义Web的搜索引擎的查全率和查准率。

中介逻辑ML的一种模型

中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。

中介逻辑命题演算扩张系统MP的完备性

中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。