信息处理领域中否定信息的逻辑基础及数学研究

来源 :江南大学 | 被引量 : 0次 | 上传用户:icekingfly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文第一章提出信息中的否定关系应当区分为矛盾否定关系和对立否定关系,发现了一类对立概念的特征:对立概念之间存在中介概念的充分必要条件是对立概念为模糊概念,从概念层面上确立了清晰信息和模糊信息中存在的五种矛盾否定关系与对立否关系(CDC,CFC,ODC,OFC和ROM),讨论了这些关系的形式定义,并且运用中介谓词逻辑MF与其无穷值语义模型Ф研究这些不同的否定关系,得到了处理不相容知识中的五种矛盾关系与对立关系的具体条件,同时讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。第二章以中介数学系统为背景,为处理现实生活中普遍存在的模糊现象提供一种度量逻辑真值程度的新方法,在建立了谓词的标准度概念后,描述了谓词的真值与对应的数值区域之间的关系,给出了一维情形下的个体真值程度函数以及基于真值程度函数的一元谓词的表示法,又在提出了λ?真值程度截集、数与谓词的乘积概念后,给出了关于一元模糊谓词的中介分解定理,从而建立了一元模糊谓词与清晰谓词间的量化关系。第三章将分解定理推广为一般分解定理,同时定义了截段矩阵并讨论了它的一些性质。第四章用另一种方法得到了第十至第十三位的序以及对应树,并在此基础上,研究得到了第十四至第三十三位的序以及对应树的结果。
其他文献
色彩管理是实现色彩跨设备及跨平台复现的重要方法。一直以来色彩的高保真传输和复现是色彩管理人员的研究课题和追求目标。不同的设备有着各自不同的设备特性。而且,即便是同一种设备,使用时间长短不一样,使用的耗材不一样,其显色特性都是不一样的。这样就造成原来完全相同的色彩在不同的设备上会给人眼产生完全不同的色彩感觉。色彩管理的最终目的,是为了保证色彩能在不同的设备之间准确的传输和复现,希望确保相同的色彩在不
随着计算机和网络通信技术的发展,IPTV即交互式网络电视在近几年来成长迅速,日益成为宽带多媒体领域的热点。电子节目指南(Electronic Program Guide,EPG)是构成交互式网络电
数据库系统是为适应数据处理的需要而发展起来的一种理想的数据处理的核心技术,它的出现是计算机应用的一个里程牌,使得计算机应用从以科学计算为主转向以数据处理为主。随着
查询包含问题是查询优化的基本算法问题。在数据库理论方面,约束关系模型的不等式合取查询包含问题已经得到解决。然而,由于数据库理论与实际的数据库系统存在较大差异,十多
定理证明器是用于证明数学定理的正确性的计算机程序。进几十年来,对计算机硬件、软件形式化验证等日益增长的需求使得大量形式化工具涌现出来。定理证明器是一种重要的形式
搜索引擎是人们获取海量网络信息的首要工具,是网络研究和应用的关键内容。目前随着Internet信息的爆炸增长以及信息多元化的发展,主题搜索引擎正成为研究热点与发展趋势。本文
近年来,Internet上流媒体的应用得到了迅猛发展,然而流媒体的传输速率却并不理想,主要原因是传统的客户端/服务器模式很容易导致服务器端的性能瓶颈和网络资源浪费,从而不能
在汽车制造行业中,车体外表面的外观是衡量一个车身质量和美观的重要标准。工业界对汽车外表质量检测要求越来越高,但是目前并没有很好的方法对其进行自动化检测和分类,大多
群体智能算法作为一种新兴的智能计算技术已成为越来越多研究者关注的焦点。群体智能的概念源于对蜜蜂、蚂蚁、大雁等这类群居生物群体行为的观察和研究,通常将这样一种模拟
随着各种数据业务的不断发展,运营商对于在其已经建立的PDH电信网上传输以太网数据的设备(EoPDH:Ethernet-over-PDH)提出了更高的要求,与此同时标准、开放的CompactPCI技术不断