位置：成果数据库 > 期刊 > 期刊详情页
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
  • ISSN号：1001-7402
  • 期刊名称：模糊系统与数学
  • 时间：2013
  • 页码：28-35
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：[1]西南交通大学峨眉校区,四川峨眉山614202, [2]西南交通大学智能控制开发中心,四川成都610031
  • 相关基金：国家自然科学基金资助项目（60875034;61175055）;四川省科技支撑计划项目（2011FZ0051）
  • 相关项目：基于格值逻辑的α-n(t)元归结动态自动推理研究
作者： 赖家俊|徐扬|
关键词： 语言真值格值一阶逻辑, 不确定性推理, 推理模型, 推理规则, Linguistic Truth-valued Lattice-valued First-order Logic Uncertainty Reasoning InferenceModels Inference Rules
中文摘要：

在语言真值格值一阶逻辑系统的框架下，讨论了两种推理模型中的不确定性推理理论与方法，并针对不同的推理规则得到了推理算法，其推理算法既有合理的语义解释又有严密的语法论证。

英文摘要：

Theory and method under uncertainty reasoning of two models based on linguistic truth-valued lattice values first-order logic sytem were discussed in this paper, the reasoning algorithms to different inference rules were investigated, they are interpreted by the reasonable semantic, and they are demonstrated by the strict syntax.

同期刊论文项目
基于格值逻辑的语言真值α-广义归结自动推理研究
期刊论文 92
基于格值逻辑的α-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
基于焦点可视化的决策支持系统研究
三维虚拟机器人运动仿真系统设计
格蕴涵代数的粗糙滤子
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滤子
剩余格的粗滤子
软集合和软MV-代数
语言真值直觉模糊命题逻辑系统的推理规则
基于统一贴近度的模糊推理新方法
软集与软格
一类推广的Bernstein算子的逼近
基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构
非交换剩余格的子正蕴涵滤子
非交换剩余格的子正蕴涵滤子
模糊参数模糊软R0-代数
基于Geom／Geom1/c排队的到港容量研究
直觉模糊集的结构化分析
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
基于业务效能的信息系统安全态势指标
基于Biased-SVM的非平衡半监督分类算法
考虑信息泄露的供应链成员决策研究
N元格蕴涵代数不等式的解Ⅱ
多源评价中信息标准化研究
Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic
不完备信息系统中的不可区分关系
不完备决策表中基于相似关系的属性约简
格蕴涵代数LI-理想的粗糙性
Homomorphic Properties of Fuzzy Rough Groups
基于赋范格H蕴涵代数的性质
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
直觉 Fuzzifying 拓扑：邻域系
四值非链格值命题逻辑系统L_4P（X）的语义归结方法
正则蕴涵算子的统一表达式
基于概念格的语言真值不确定性推理
剩余格的TL-滤子与TL-同余关系
N（2,2,0）代数的RC-半群
L-Top上的I_r-函子
L＊逻辑系统中的函数决定公式问题
Goedel逻辑系统中公式条件概率真度的研究
格蕴涵代数中α-化子的性质
Gdel逻辑系统中模糊逻辑方程τ（X→p）=α的解的性质
L-FYS和LF-TOP上的函子及其性质
模糊CRI算法及模糊推理的有效性研究
L-余拓扑Vs．广义粗集
基于自反关系的区间值模糊近似空间诱导的拓扑结构
R0-代数滤子的粗糙性
关于G-代数的一些注记
基于语言真值格值一阶逻辑的不确定性推理的语法
格值命题逻辑系统中广义文字的正规性
区间值模糊近似空间的拓扑结构
模糊随机信息系统及其属性约简
几种逻辑系统中的概率真度
软集与软RSL-代数
剩余格的T-模糊滤子与T-模糊同余关系
不同语言值集下的多属性群决策方法
不完备信息系统中属性的重要度及约简方法
三值乘积逻辑系统π_3中的随机化研究
经典逻辑公理在模糊逻辑系统中的真度分析
公式概率真度的相似度及伪距离
Gdel命题逻辑中公式概率真度的相似度及伪距离
基于格值一阶逻辑LF（X）的自动推理算法
n值Goedel逻辑系统中的随机化研究
逻辑系统Gdel,Luk,L*中命题真度值的分布
解释模型类理论及其极小三I-算法
层次闭包空间的紧性
Godel逻辑系统中一类模糊逻辑方程解的性质
L-外部空间范畴与L-拓扑空间范畴
单调线性互补问题的一种内点算法
Ln×L2上几类特殊类型格蕴涵代数方程的解法
格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法
格值命题逻辑LP（X）中的语义归结方法
关于余剩余格的一点注记
基于语言真值格蕴涵代数中对偶分子的推理性质
关于正则余剩余格与对合BCK-格
模糊粗糙群
模糊逻辑系统公理真度分析
有限格蕴涵代数的零化子
格蕴涵代数中多重模糊正关联滤子的研究
n值乘积逻辑系统中的随机化研究
Fuzzy Regular Relations on Hyperquasigroups
关于剩余格的正则滤子
格值命题逻辑LP（X）中自动推理算法效率分析
直觉模糊拓扑空间的基与子基
构造三角模的新方法
强F1连通的新特征
三值乘积逻辑系统中绝对真度的理论研究
层次闭包空间及其分离性
外部算子及其应用
直觉Fuzzifying拓扑的Moore—Smith收敛理论
直觉模糊拓扑空间的子空间
Subalgebra and LI-Ideal of Lattice Implication Algebras
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
一种动态的感官评估实验方法
直觉Fuzzifying拓扑：基和子基
格蕴涵代数中的直觉模糊关联滤子
小波变换在消除干扰中的应用探究
直觉模糊拓扑空间的重域结构
一种数据域描述的加权支持向量回归算法
基于含参量蕴涵算子H_（p,λ）的多种三I算法
层次闭包空间及其连通性
基于不确定理论的二级供应链模型
层次化的K.Fan’s Theorem
Generalized fuzzy ideals of near-rings
求解单调线性互补问题的势下降内点算法
层次内部空间及其分离性
Interval Valued （∈,∈ ∨q）-Fuzzy Filters of MTL-Algebras
基于“矩阵乘法”的网络最短路径算法
软结合BCI代数
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133