位置：成果数据库 > 期刊 > 期刊详情页
软结合BCI代数
  • ISSN号：1000-0917
  • 期刊名称：《数学进展》
  • 时间：0
  • 分类：O142[理学—数学;理学—基础数学]
  • 作者机构：[1]贵州民族大学理学院,贵阳550025, [2]贵州工程应用技术学院理学院,贵州毕节551700
  • 相关基金：国家自然科学基金（No.61175055,No.61305074）; 贵州省科学技术基金项目（No.LKB[2012]02）; 贵州民族大学引进人才项目（No.15XRY006）
作者： 刘用麟, 黄艺娟
关键词： 自动推理, 归结域, 格值逻辑, 格蕴涵代数, automated reasoning, resolution fields, lattice-valued logic, lattice implication algebras
中文摘要：

由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统（L_n×L_2）P（X）中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件。

英文摘要：

Because of the complexity of generalized literals structure in lattice-valued logic, it leads to difficult to judge two generalized literals whether form resolution pair or not. According to particular structure of truth valued range L_n×L_2 and the characteristic of resolution level α, the resolvability of between 0-IESF and other generalized literals in lattice-valued propositional logic system（L_n×L_2）P（ X ） based on one class of lattice implication algebras L_n× L_2, and the determination conditions on that two generalized literals can form resolution pair.

同期刊论文项目
　中国福建武夷山生物多样性信息平台在线科普研究
期刊论文 1
基于两类超逻辑代数的不确定性研究
期刊论文 7
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
同项目期刊论文
Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
The Substitution Theoremon Lattice-valued Modal Propositional Logic LMPL(X)
Triangular norm based graded convex fuzzy sets
α-ordered linear resolution method for lattice-valued logic system based on lattice implication alge
alpha-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
α-Input and α-unit resolution methods for generalized horn clause set
α-Group Semantic Resolution Method Based on Lattice valued Propositional Logic System LP(X)
Isomorphism Theorems for Soft Rings
α-resolution fields of generalized literals in lattice-valued propositional logic
一种基于18元语言值模糊相似矩阵的聚类方法
命题逻辑公式中的冗余子句及冗余文字
基于改进的云重心评判方法的机场电磁环境复杂度评估
A novel belief rule base representation, generation and its inference methodology
General form of (α, β)-fuzzy congruence relation on lattice implication algebras
一种基于十八元语言值模糊相似矩阵的聚类方法
剩余格蕴涵代数中多重模糊结合滤子的研究
Falling fuzzy ideals of hemirings
基于语言真值格值一阶逻辑系统中程度化公式的注记
一种新的广义模糊数相似度计算方法
语言值区间二元组能量平均算子及其应用
Characterizations of hemirings based on probability spaces
(∈，∈∨qk)-Fuzzy filters and (∈，∈∨qk)-fuzzy congruen
Multiple attribute decision making with interval-valued intuitionistic fuzzy preference information
Soft rings related to fuzzy set theory
Characterizations of semihyperrings by their fuzzy hyperideals
Study on T-fuzzy LI-ideal of Lattice Implication Algebras
Redefned generalized fuzzy R-subgroups of near-rings
The characterization of Gamma-modules in terms of fuzzy soft Gamma-submodules
On rough hyperideals in hyperlattices
LP ( X )中M P归结推理MP Resolution Inference in LP( X )
Multiary α-resolution principle for a lattice-valued logic
A new method for feature selection of radio abnormal signal
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
Robustness of fuzzy connectives and fuzzy reasoning
Multi-ary α-Resolution Principle for a Lattice-Valued Logic
格蕴涵代数的区间值T-模糊滤子理论
α-Quasi-Lock Semantic Resolution Method for a Lattice-Valued Logic
On Filters of Lattice Implication Product Algebra L1×L2
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
On (fuzzy) isomorphism theorems of soft Γ-hypermodules
Fuzzy h-ideals with operators in Γ-hemirings
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中程度化公式的一些注记
(Implicative) pseudo-valuations on R0-algebras
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Deci
A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospe
Some kinds of falling fuzzy filters of lattice implication algebras
A group decision making model for partially ordered preference under uncertainty
Properties of Raha's similarity-based approximate reasoning method
Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)
A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logi
Characterizations of hemiregular hemirings via a kind of new soft union sets
Redundancy of set of clauses in propositional logic
Solutions to open problems on fuzzy filtersof BL-algebras
Some types of falling fuzzy filters of BL-algebras and its applications
Applications of soft union sets to hemirings via SU-h-ideals
Relations among similarity measure, subsethood measure and fuzzy entropy
a- Generalized Semantic Resolution Method in Linguistic Truth- valued Propositional Logic LV(n×2)P(X
General forms of (α, β)-fuzzy subhypergroups of hypergroups
Generalized fuzzy algebraic hypersystems
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
Fuzzy parameterized fuzzy soft lattice implication algebras
Attribute reduction algorithm of the lattice-valued concept lattice
A Combination Algorithm of the Lattice-Valued Concept Lattice
N元格蕴涵代数不等式的解~* I
Chinese Word Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules
Fuzzy parameterized fuzzy soft h-ideals of hemirings
Soft intersection h-ideals of hemirings and its applications
On Fuzzy Congruences and Fuzzy Strong h-Ideals of Hemirings
基于PCA及FCM的C波段无线电信号分类方法
格值逻辑系统的α-广义归结原理
Pseudo-Weak-R-0 Algebras
The Axioms Independence of Pseudo-Weak-R-0 Algebras and Filters
Attribute Extended Algorithm of Lattice-Valued Concept Lattice Based on Congener Formal Context
格值一阶逻辑LF(X)中的α-语义归结方法
α-Minimal resolution principle for a lattice-valued logic
 基于（M, N）-软交h-理想（半环）的h-半正则h-半环的特征
Interval-valued intuitionistic (T, S)-fuzzy filters theory on residuated lattices
h-半环的落影模糊k-理想及应用
Idealistic soft Γ？rings
区间值犹豫模糊集
一种基于模糊数相似度的风险分析方法
alpha-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasonin
格蕴涵代数中的直觉模糊理想
基于广义不可区分关系的决策表约简
CHARACTERIZATIONS OF FUZZY M--HEMIRINGS
GENERALIZED FUZZY n-ARY SUBHYPERGROUPS OF A COMMUTATIVE n-ARY HYPERGROUP
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition
真值限定的语言真值直觉模糊推理
一阶逻辑公式相对真度的计算形式
软BCI-代数的软固执理想
直觉模糊逻辑的(α,β)-广义锁归结方法
支持向量机方法预测七鳃鳗miRNA前体
Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineerin
基于格值一阶逻辑LF(X)的多元α-归结原理的注记
Robustness of fuzzy connectives and fuzzy reasoning with respect togeneral divergence measures
re-Horn子句集的Horn化及可满足性判定方法
alpha-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional
Applications of Falling Fuzzy h-bi-(h-quasi-)ideals to Hemirings Based on Probability Spaces
On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
基于证据推理的确定因子规则库推理方法
基于证据推理和第3代前景理论的不确定性多属性决策方法
On (M,N)-S I (implicative) filters in R-0-algebras
Characterizations of fuzzy soft Gamma-hemirings
Characterizations of Abel-Grassmann's Groupoids
Fuzzy soft Gamma-hemirings
(Fuzzy) hyperlattices and fuzzy preordered lattices
Applications of a new soft set to h-hemiregular hemirings via (M, N)-SI-h-ideals
IFP-Intuitionistic Fuzzy Soft h-Ideals of Hemirings and Its Decision Making
Feature selection for multi-class imbalanced data sets based on genetic algorithm
基于程度不可区分关系的粗糙集模型
命题逻辑的子句集中文字的分类
基于前景理论和证据理论的混合型多属性决策方法
基于证据理论的不确定性推理方法及其应用
The validity degree vectors of formulae in two-valued predicate logic
Redefined soft relations and soft functions
基于CDMA系统手机定位的居民出行OD调查技术
语言真值格值命题逻辑中的α-语义归结方法
六元语言值直觉模糊的金融决策推理方法
基于区间数距离的模式识别方法
基于业务用户行为的计算机动态取证评估模型研究
Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition of Ground-
General form of alpha-resolution principle for linguistic truth-valued lattice-valued logic
IFI-ideals of lattice implication algebras
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记
基于逻辑合取的语言真值概念格合并算法
二值谓词逻辑中公式的向量真度
命题逻辑中非子句α-有序线性广义归结方法
Characterizations of regular Abel-Grassman’s groupids by the properties of their (∈,∈ ∨qk)-fuzzy ide
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
基于格值逻辑系统LP(X)的归结域的代数结构
基于Geom/Geom/1/c排队的到港容量研究
Decomposition Computing of Lattice-Valued Concept Lattice Based on Attribute Values
带模糊参数的理想化模糊软环
基于ReliefF和聚类的特征选择方法及其在无线电信号识别中的应用
Fuzzy Γ-hyperrings and fuzzy Γ-hypermodules
On Intuitionistic (S, T)-Fuzzy Hv-Submodules of Hv-Modules
双重不确定性信息的代数结构及运算
α-Quasi-lock semantic resolution algorithm in linguistic truth-valued lattice-valued propo
Unbalanced linguistic aggregation operator in group decision making
Fuzzy Ideals of Near-rings based on the theory of falling shadows
Lattice-valued modal propositional logic based on M-lattice implication algebras
利用格蕴涵代数找出所有滤子的算法
Falling fuzzy (implicative) filters of R0-algebras and its applications
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
基于焦点可视化的决策支持系统研究
三维虚拟机器人运动仿真系统设计
格蕴涵代数的粗糙滤子
软BCI-代数的软固执理想
Characterizations of three kinds of hemirings by fuzzy soft h-ideals
Fuzzy Gamma Modules Based on Fuzzy Binary Operations
带有可信度的偏序偏好决策信息的聚合方法
一种针对不确定偏序偏好信息的群决策模型
区间值犹豫模糊WOWA算子及其在决策中的应用
Vague Congruences and Quotient Lattice Implication Algebras
语言真值格蕴涵代数的蕴涵不可约元
格值矩阵博弈研究
区间型决策概念格在质量—库存管理中的应用
程度化语言值链上的语言真值概念格及其应用
一类由模糊理想诱导出的软商环
基于服务专业化的数据抽取方法研究
支付值为区间数的双矩阵博弈的二次规划求解方法
ｒ－块置换因子循环矩阵及其逆矩阵的求法
A new view of fuzzy k-ideals of hemirings
(μ,ν)-Resolution Method for Intuitionistic Operator Fuzzy Logic
软可换BCI-代数
利用格蕴涵代数找出所有LI-理想的方法
N元格蕴涵代数不等式的解2
带蕴涵算子的N元格蕴涵代数不等式的解
N元格蕴涵代数不等式的解*1
Approximation operators on complete completely distributive lattices
FP-soft Rings
α-linear resolution method based on linguistic truth-valued lattice-valued propositional logic syste
格蕴涵代数中的零化子
一种基于非合作博弈的分层网络频谱分配机制
子句集Σ的极大Horn下界
一种基于十元格蕴涵代数的知识表示方法
广义回归神经网络的改进及在交通预测中的应用
语言值直觉模糊二元组表示模型
Using FCM to Select Samples in Semi-Supervised Classification
LP(X)中MP归结推理
粗糙集代数构造格蕴涵代数
剩余格上的L滤子
剩余格的粗滤子
语言真值直觉模糊命题逻辑系统的推理规则
基于统一贴近度的模糊推理新方法
软集与软格
一类推广的Bernstein算子的逼近
基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构
非交换剩余格的子正蕴涵滤子
模糊参数模糊软R0-代数
基于Geom／Geom1/c排队的到港容量研究
直觉模糊集的结构化分析
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
基于业务效能的信息系统安全态势指标
基于Biased-SVM的非平衡半监督分类算法
考虑信息泄露的供应链成员决策研究
N元格蕴涵代数不等式的解Ⅱ
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
半环的L-模糊理想的范畴性质
粗糙软环的运算与特征
软半环的软同态和软商半环
软交 n元群
n元半群的软集理论
期刊信息
  • 《数学进展》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学协术学会
  • 主办单位:中国数学会
  • 主编：丁伟岳
  • 地址：北京大学数学系数学进展编辑部
  • 邮编：100871
  • 邮箱：
  • 电话：
  • 国际标准刊号：ISSN：1000-0917
  • 国内统一刊号：ISSN：11-2312/O1
  • 邮发代号:2-503
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:3411