基于格值逻辑系统LP(X)的α-归结域的代数结构

山东大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (3): 13-18.

基于格值逻辑系统LP(X)的α-归结域的代数结构

刘熠1,2,贾海瑞2,秦晓燕2,徐扬2 *

1. 内江师范学院数学与信息科学学院, 四川内江 641112; 2. 西南交通大学智能控制开发中心, 四川成都 610031

收稿日期:2012-12-05 出版日期:2013-06-20 发布日期:2012-12-05
通讯作者: 徐扬（1956- ），男，河南新乡人，教授，博士生导师，主要研究方向为智能信息处理．E-mail: xuyang@home.swjtu.edu.cn
作者简介:刘熠（1979- ），男，四川仪陇人，博士研究生，主要研究方向为智能信息处理．E-mail: liuyiyl@126.com
基金资助:
国家自然科学基金资助项目（61175055）；四川省科技支撑计划资助项目（2011FZ0051）；四川省教育厅科研基金面上资助项目（11ZB023,12ZB263）

The algebraic structure of α-resolution fields based on lattice-valued logic systems LP(X)

LIU Yi1,2, JIA Hai-rui2, QIN Xiao-yan2, XU Yang2 *

1.College of Mathematics and Information Sciences, Neijiang Normal University, Neijiang 641112, China;
2. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China

Received:2012-12-05 Online:2013-06-20 Published:2012-12-05

摘要/Abstract

摘要：

首先得到了与g不可α-归结的广义文字的集合D*_α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*_α (g)所确定的一个新的代数结构D^f,D^f做成一个格滤子,并研究了D^f的一些相关性质;最后研究了由D^f所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。

关键词: -归结, 滤子, 格值逻辑系统, 格蕴涵代数, &alpha, 归结域

Abstract:

First, the generalized literals set D*_α (g), which couldn′t be α-resolved with a fixed generalized literal g, was a ∨-semigroup and an order filter. Second, a new algebraic structure D^f determined by D*_α(g) was a lattice filter, and the properties of D^f were investigated. Finally, the algebraic structure κ(D) was determined by D^f, the fact that κ(D) was a filter was obtained and the structure of κ(D) was studied.

Key words: filter, α-resolution, lattice-valued logic systems, resolution field, lattice implication algebras

中图分类号:

TP18

刘熠1,2,贾海瑞2,秦晓燕2,徐扬2 *. 基于格值逻辑系统LP(X)的α-归结域的代数结构[J]. 山东大学学报(工学版), 2013, 43(3): 13-18.

LIU Yi1,2, JIA Hai-rui2, QIN Xiao-yan2, XU Yang2 *. The algebraic structure of α-resolution fields based on lattice-valued logic systems LP(X)[J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2013, 43(3): 13-18.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed

本文评价

推荐阅读 10

[1]	张永花,王安玲,刘福平 . 低频非均匀电磁波在导电界面的反射相角[J]. 山东大学学报(工学版), 2006, 36(2): 22 -25 .
[2]	李侃 . 嵌入式相贯线焊接控制系统开发与实现[J]. 山东大学学报(工学版), 2008, 38(4): 37 -41 .
[3]	孔祥臻,刘延俊,王勇,赵秀华 . 气动比例阀的死区补偿与仿真[J]. 山东大学学报(工学版), 2006, 36(1): 99 -102 .
[4]	来翔 . 用胞映射方法讨论一类MKdV方程[J]. 山东大学学报(工学版), 2006, 36(1): 87 -92 .
[5]	余嘉元1 , 田金亭1 , 朱强忠2 . 计算智能在心理学中的应用[J]. 山东大学学报(工学版), 2009, 39(1): 1 -5 .
[6]	陈瑞,李红伟,田靖. 磁极数对径向磁轴承承载力的影响[J]. 山东大学学报(工学版), 2018, 48(2): 81 -85 .
[7]	王波,王宁生 . 机电装配体拆卸序列的自动生成及组合优化[J]. 山东大学学报(工学版), 2006, 36(2): 52 -57 .
[8]	李可,刘常春,李同磊 . 一种改进的最大互信息医学图像配准算法[J]. 山东大学学报(工学版), 2006, 36(2): 107 -110 .
[9]	季涛,高旭,孙同景,薛永端,徐丙垠 . 铁路10 kV自闭/贯通线路故障行波特征分析[J]. 山东大学学报(工学版), 2006, 36(2): 111 -116 .
[10]	秦通,孙丰荣*,王丽梅,王庆浩,李新彩. 基于极大圆盘引导的形状插值实现三维表面重建[J]. 山东大学学报(工学版), 2010, 40(3): 1 -5 .