【摘 要】
：
非经典逻辑是人工智能领域中十分活跃的研究方向,是不确定性推理的理论基础.在非经典逻辑的研究中,格值逻辑的研究具有重要而广泛的意义.格蕴函代数是徐扬教授为研究格值逻辑
论文部分内容阅读
非经典逻辑是人工智能领域中十分活跃的研究方向,是不确定性推理的理论基础.在非经典逻辑的研究中,格值逻辑的研究具有重要而广泛的意义.格蕴函代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统.该文将在格蕴涵代数已有性质的基础上,进一步讨论格蕴涵代数的性质及结构.具体作了以下三方面的工作:1、在有界分配格的素理想空间的给出了格蕴涵代数的一个表示,并借助集合的无限运算系统地讨论了表示的性质,得出了格蕴涵代数中任意子集无限运算的若干性质.2、对格蕴涵代数中由一子集生盛誉的格蕴涵子代数的结构及格蕴涵代数的直积进行了研究,给出了一格蕴涵代数可分解成一族格蕴涵代数直积的必要条件,证明了格H蕴涵代数是一有单位元的布尔环.3、给出了格蕴涵代数中O-理想的定义并讨论了其性质,给出了格蕴涵代数中集合S上超滤子的定义并与集合代数上的超滤子作了比较,研究了两种超滤子之间的关系.
其他文献
该文第一章首先研究了自反Banach空间中,一般半群上的(Г)类渐近非扩张型半群的强遍历收敛定理,该章紧接着又证明了一般半群上的(Г)类渐近非扩张型半群的殆轨道的强遍历收敛
细胞自动机(CA)是在平面格点或者图的顶点上按照某种规则进行演化的一种离散动力系统,在许多领域应用广泛.国外对此研究曾一度十分活跃.该文对作用在简单图上的σ-自动机、低
主要内容为:O)通过Hopf-Cole变换及分离变量方法求解Burgers方程(0.1)在区域0≤x≤1,t≥0上的初边值问题.所求形式解在t>0时满足方程及边界条件.(2)分别讨论了广义Burgers方
“十三五”是我国经济社会发展非常关键的时期，计划指出要求显著提高国民的整体文化素质与社会文明程度。为实现这一目标，深化高等教育综合改革，实现我国区域地方普通高等教育财
在小学课程教学中,英语也是重要教学内容,给学生后续英语学习奠定了基础。在这一时期中,学生通常对英语有着好奇心,感觉新鲜。但因学生年龄限制,他们各方面条件都处于发展阶
两优628是安徽华韵生物科技有限公司用合肥齐民济生生物技术研究所选育的水稻两系不育系033S与R628配组育成的杂交中籼新组合。2009和2010年参加安徽省中籼区域试验,产量分别
该文研究了广义Camassa-Holm(GCH)方程的行波孤立子解及尖峰孤立子解,给出GCH方程的行波孤立子解的表达式,特别的,对m=1、m=2、m=3时利用Mathematica数学软件进行计算,解出了
在智能信息处理中,聚合函数是一种非常重要的处理工具,因为它描述了将若干个局部信息融合成一个整体结果的过程。应用最广泛的聚合函数就是三角模、三角余模以及一致模,它们
本文主要研究双曲空间Hn+p(-1)中具有平行单位平均曲率向量的紧致或完备子流形的刚性问题,得到了该类子流形是全脐或者M2是H2+p(-1)中的伪脐子流形的充分条件. 论文共分为
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.