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

• 作者: 刘熠 徐扬 秦晓燕 贾海瑞
• 来源期刊: 山东大学学报（工学版）
• 学科: 工学
• 关键词: 格蕴涵代数 格值逻辑系统 α-归结 归结域 滤子
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 机器学习与数据挖掘
• 页码范围: 13-18
• 分类号: TP18
• 语种: 中文
• DOI: 10.6040/j.issn.1672-3961.3.2012.074

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	刘熠	内江师范学院数学与信息科学学院	27	88	5.0	8.0
6	贾海瑞	西南交通大学智能控制开发中心	4	10	2.0	3.0
7	秦晓燕	西南交通大学智能控制开发中心	5	10	2.0	2.0