位置：立项数据库 > 立项详情页
基于格值逻辑的语言真值α-广义归结自动推理研究
  • 项目名称：基于格值逻辑的语言真值α-广义归结自动推理研究
  • 项目类别：面上项目
  • 批准号：60875034
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：徐扬
  • 依托单位：西南交通大学
  • 批准年度：2008
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 92
  • 0
  • 0
  • 0
  • 0
期刊论文
基于概念格的数据挖掘方法在库存管理中的应用
有限链上的格蕴涵代数在不确定性库存模型中的应用
基于十元格蕴涵代数的语言值评价方法
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
语言真值格蕴涵代数的蕴涵不可约元
软集合和软MV-代数
非交换剩余格的子正蕴涵滤子
多源评价中信息标准化研究
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）
一种动态的感官评估实验方法
直觉Fuzzifying拓扑：基和子基
格蕴涵代数中的直觉模糊关联滤子
小波变换在消除干扰中的应用探究
直觉模糊拓扑空间的重域结构
一种数据域描述的加权支持向量回归算法
基于含参量蕴涵算子H_（p,λ）的多种三I算法
层次闭包空间及其连通性
基于不确定理论的二级供应链模型
层次化的K.Fan’s Theorem
Generalized fuzzy ideals of near-rings
求解单调线性互补问题的势下降内点算法
层次内部空间及其分离性
Interval Valued （∈,∈ ∨q）-Fuzzy Filters of MTL-Algebras
基于“矩阵乘法”的网络最短路径算法
徐扬的项目
基于格值逻辑的不确定性推理研究
期刊论文 93 会议论文 96 著作 1
交替跟踪模糊神经网络控制系统的研究
期刊论文 73 会议论文 41 著作 1
抽象模糊逻辑的研究
第九届关于计算智能的基础与应用FLINS国际会议
基于格值逻辑系统的模糊控制及其应用研究
期刊论文 41 会议论文 34 著作 1
基于格值逻辑的语言真值归结自动推理研究
期刊论文 258 会议论文 118 著作 4
第二届智能系统与知识工程国际会议
基于矛盾体分离的动态自动演绎推理研究
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
基于格值逻辑的不确定性推理研究