中介逻辑相关论文
模糊现象是客观世界普遍存在的现象，也是经典数学难以用数学模型描述的问题。从上世纪60年代由Zadeh创始而被发展起来的模糊集理论，......
不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。目前尚没有一个完善的理论体系......
在嵌入式控制领域，调节方法一直是人们高度关注的问题，特别是在调节对象具有复杂的非线性、时变而且又有大的滞后的系统，在调节的过程......
在形式逻辑理论中，只有一种否定。20世纪80年代，由中国学者朱梧槚和肖奚安建立的中介逻辑系统，是将矛盾与对立进行区分并肯定一些对立......
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.......
突发公共事件本身的不确定性以及紧急状态下信息采集的时空局限性,要求数字化预案对不确定事件进行有效地表达.基于中介逻辑,研究......
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统......
该文是文献[5]的续篇，由于文献[1]之2．5论证指出：当代极限论没有给Berkeley悖论留下任何有关0/0一类悖论生成余地或隙缝．（文献[1]P26），文......
鲁棒性是水印的重要特性之一,水印鲁棒性强度恰当与否决定着水印的好坏。因此,水印鲁棒性衡量至关重要。文中提出了新的衡量水印算......
中介逻辑ML（Medium Logic）是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全（完备）性。本文研究了ML的语法完全......
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方......
自然语言的语义具有与生俱来的模糊性,这增添了人们相互理解的困难;特别在使用不同语言的人群之间的交流中,这更易产生误解。中介......
中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义......
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与......
知识处理的发展对＂否定知识＂的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理......
对于模糊知识及其否定关系,潘指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定......
本文基于中介逻辑理论，在知识描述中区分知识的“矛盾”与“对立”，肯定对立的模糊概念之间存在中介对象（中介概念），将矛盾否定与对立否......
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推理规则集S等价的形式推理规则集S1.......
中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进......
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立概念间存在中介对象的逻辑系统。基于中介逻辑对RDF(Resource Description F......
目的:通过文献检索发现,历代医家各个学派对“但见一证便是”的看法各有千秋,讨论均集中在可以根据哪“一证”可以诊断柴胡证,大多......
对于否定信息的处理，尤其是对模糊信息及其否定的处理，潘建立了一种能够处理不同否定信息的集合基础Fscom。在此基础上，本文对于模糊......
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代......
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展，大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和......
在信息领域中,信息的区分、表示以及处理等是信息科学理论的基础,而对于否定信息的认识及处理同样具有十分重要的作用和意义。本文......
ESB作为目前企业IT系统实现应用集成、消除信息孤岛的关键组件,在实施中可能会遇到接口拥塞问题,从而影响与ESB相关的众多IT系统的......
一种新的数字经济流通形式出现了,流通的是思想、知识、劳动力、闲置资产使用权、发生于地理分散、但联结且互动的网上各社区之间,......
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种......
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础，中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻......
