R_G-代数的子代数与广义重言式理论

发布时间：2017-11-22 19:21

  本文关键词：R_G-代数的子代数与广义重言式理论

  更多相关文章： G銉del逻辑系统 广义重言式 子RG-代数 分划

【摘要】：对G銉del逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,G銉del逻辑系统中存在着可数多个不同的广义重言式。
【作者单位】： 桂林航天工业高等专科学校计算机系;
【基金】：广西壮族自治区教育厅科研项目(桂教科研[2011]14号)
【分类号】：O141.1
【正文快照】： 1引言在人工智能的应用领域,模糊推理的研究有着十分重要的基础地位,继1973年Zadeh提出著名的CRI方法后,各种模糊推理方法纷纷被提出[1],但模糊推理的理论基础却不够严密[2],为了奠定模糊推理的严密的理论基础,王国俊教授在文献[3-4]中,引进了Kleene逻辑系统Wˉ啜W啜Wk,研究

【参考文献】

中国期刊全文数据库 前4条

1 吴洪博,阎满富;G銉del逻辑系统中F(S)的一个分划及其应用[J];工程数学学报;2001年04期

2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

3 吴洪博;G銉del系统中一种降级算法及性质[J];四川大学学报(自然科学版);2003年06期

4 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

【共引文献】

中国期刊全文数据库 前10条

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

4 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

5 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

6 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

7 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

8 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

9 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

10 易善桢;基于单纯形的3D-GIS数据模型及其初步设计[J];测绘通报;1999年11期

中国博士学位论文全文数据库 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

中国硕士学位论文全文数据库 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 杜春娟;模糊范畴，模糊拓扑及相关问题的研究[D];辽宁师范大学;2001年

4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

5 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

6 张兴龙;WF—模糊度量空间的理论[D];南京师范大学;2002年

7 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

8 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

9 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

10 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

【二级参考文献】

中国期刊全文数据库 前10条

1 吴洪博,阎满富;G銉del逻辑系统中F(S)的一个分划及其应用[J];工程数学学报;2001年04期

2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

3 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

4 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

5 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

6 李继成,张文修;HFI-代数的拟Fuzzy-赋值[J];模糊系统与数学;2000年02期

7 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

8 吴洪博;G銉del系统中一种降级算法及性质[J];四川大学学报(自然科学版);2003年06期

9 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

10 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期

【相似文献】

中国期刊全文数据库 前10条

1 张凤姣;张兴芳;;G銉del逻辑系统中公式真度判断方法[J];聊城大学学报(自然科学版);2011年01期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国博士学位论文全文数据库 前1条

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

中国硕士学位论文全文数据库 前10条

1 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

2 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年

3 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

4 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

5 汪德刚;模糊模态命题逻辑及其广义重言式[D];辽宁师范大学;2005年

6 韩莹;扰动模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

7 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

8 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

9 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

10 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

，

本文编号：1215793