中介逻辑相关论文
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾......
模糊现象是客观世界普遍存在的现象，也是经典数学难以用数学模型描述的问题。从上世纪60年代由Zadeh创始而被发展起来的模糊集理论，......
本文以文[7]、[8]、[9]为基础,构造了一类基于中介逻辑的模态逻辑系统MK、MT、MS_4及MS_5,给出了它们的直观背景、推理规则及语义......
不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。目前尚没有一个完善的理论体系......
在嵌入式控制领域，调节方法一直是人们高度关注的问题，特别是在调节对象具有复杂的非线性、时变而且又有大的滞后的系统，在调节的过程......
在形式逻辑理论中，只有一种否定。20世纪80年代，由中国学者朱梧槚和肖奚安建立的中介逻辑系统，是将矛盾与对立进行区分并肯定一些对立......
在知识表示和推理中,如何描述与处理否定知识是信息科学的基本问题。本文以第一章和第二章为背景。其中,第一章介绍了否定知识的研......
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.......
突发公共事件本身的不确定性以及紧急状态下信息采集的时空局限性,要求数字化预案对不确定事件进行有效地表达.基于中介逻辑,研究......
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统......
该文是文献[5]的续篇，由于文献[1]之2．5论证指出：当代极限论没有给Berkeley悖论留下任何有关0/0一类悖论生成余地或隙缝．（文献[1]P26），文......
中国逻辑学会法律逻辑专业委员会第四届会员大会暨全国法律逻辑第九次学术研讨会1998年7月14日至16日在南京江苏公安专科学校举行......
鲁棒性是水印的重要特性之一,水印鲁棒性强度恰当与否决定着水印的好坏。因此,水印鲁棒性衡量至关重要。文中提出了新的衡量水印算......
中介逻辑ML（Medium Logic）是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全（完备）性。本文研究了ML的语法完全......
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方......
中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在......
本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推......
自然语言的语义具有与生俱来的模糊性,这增添了人们相互理解的困难;特别在使用不同语言的人群之间的交流中,这更易产生误解。中介......
中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义......
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与......
知识处理的发展对＂否定知识＂的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理......
对于模糊知识及其否定关系,潘指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定......
本文基于中介逻辑理论，在知识描述中区分知识的“矛盾”与“对立”，肯定对立的模糊概念之间存在中介对象（中介概念），将矛盾否定与对立否......
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推理规则集S等价的形式推理规则集S1.......
本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，为此以基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ＾－的......
<正> 近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”......
期刊
中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进......
类比逻辑、中介逻辑与悖论──兼论黄展骥的一分为三逻辑刘粤生，方军雄泛系观控相对论、类比逻辑、中介逻辑都是我国学者在实现科学......
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立概念间存在中介对象的逻辑系统。基于中介逻辑对RDF(Resource Description F......
目的:通过文献检索发现,历代医家各个学派对“但见一证便是”的看法各有千秋,讨论均集中在可以根据哪“一证”可以诊断柴胡证,大多......
对于否定信息的处理，尤其是对模糊信息及其否定的处理，潘建立了一种能够处理不同否定信息的集合基础Fscom。在此基础上，本文对于模糊......
本文对[1]中的系统MTL进行了进一步的讨论，给出了它的模型论性质，基于中介逻辑，构造了一种可传有序模型，证明了MTL系统的完备性。......
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代......
本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性。最后对ＭＴＬ系统......
为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、∽和∽的中介逻辑命题演算系统ＭＰ＾Ｎ和中介逻辑谓词演算系统......
中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而......
<正> [1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,～p,～p(p为原子命题)为基子句的析取范式,本文......
中介数学系统是处理模糊现象的一种数学工具。文中首先将中介真值程度的度量方法拓展到对称的数值区域中并结合数字图像的特点,以......
【正】 在近代哲学史上,休谟看到了人类理性的消极一面和局限性,第一次明确提出了辩护归纳法或一般扩展性推理的疑难。他认为,在人......
【正】 从黑格尔到列宁,都把中介作为哲学的一个重要范畴。黑格尔说:“不论在天国,在自然界,在精神中,不论在哪个地方,没有什么东......
如所知,中介逻辑的命题演算系统MP有三个命题联结词,即蕴涵词→,对立否定词和模糊否定词～。本文构造另一个中介命题逻辑MP°, ......
本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[......
中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该......
首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证......
在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统......
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种......
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展，大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和......
