基于格值逻辑系统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

[1]	崔晓松,王颖,孟佳, 邹丽. 基于语言值相似度推理的网络商家自评价方法[J]. 山东大学学报(工学版), 2018, 48(1): 1-7.
[2]	黄伟1,王书文2*,杨筱平3,贾建芳3. 基于图像分解的敦煌壁画图像修复方法[J]. 山东大学学报(工学版), 2010, 40(2): 24-27.
[3]	宋岱才, 姜凤利, 田秋菊. 某些迭代法的一个收敛性定理[J]. 山东大学学报(工学版), 2009, 39(2): 146-146.