位置：成果数据库 > 期刊 > 期刊详情页
四值非链格值命题逻辑系统L_4P（X）的语义归结方法
  • ISSN号：1001-3695
  • 期刊名称：《计算机应用研究》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]西南交通大学智能控制开发中心,成都610031, [2]毕节学院逻辑、语言与认知中心,贵州毕节551700
  • 相关基金：国家自然科学基金资助项目（60875034）
作者： 张家锋[1,2], 徐扬[1], 何星星[1]
关键词： 格蕴涵代数, 自动推理, 语义归结方法, 四值命题逻辑系统, lattice implication algebra, automated reasoning, semantic resolution method, four-elements non-chain lattice-valued propositional logic system
中文摘要：

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。

英文摘要：

For improving the efficiency of dealing with information with incomparability through resolution method,this paper investigated the semantic resolution method based on four-elements non-chain lattice-valued propositional logicis system L4P（X） and proved soundness theorem and completeness theorem of this resolution method.Resolution based on L4P（X）would be the theoretical foundation of resolution algorithm.Accordingly,this paper provided some supports for the application of intelligent reasoning system including incomparable elements based on lattice-valued logic.

同期刊论文项目
基于格值逻辑的语言真值α-广义归结自动推理研究
期刊论文 92
同项目期刊论文
基于概念格的数据挖掘方法在库存管理中的应用
有限链上的格蕴涵代数在不确定性库存模型中的应用
基于十元格蕴涵代数的语言值评价方法
基于语言真值格值一阶逻辑系统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 拓扑：邻域系
正则蕴涵算子的统一表达式
基于概念格的语言真值不确定性推理
剩余格的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
基于“矩阵乘法”的网络最短路径算法
期刊信息
  • 《计算机应用研究》
  • 北大核心期刊（2011版）
  • 主管单位:四川省科学技术厅
  • 主办单位:四川省计算机研究院
  • 主编：刘营
  • 地址：成都市成科西路3号
  • 邮编：610041
  • 邮箱：arocmag@163.com
  • 电话：028-85210177 85249567
  • 国际标准刊号：ISSN：1001-3695
  • 国内统一刊号：ISSN：51-1196/TP
  • 邮发代号:62-68
  • 获奖情况:
  • 第二届国家期刊奖百种重点科技期刊,国内计算技术类重点核心期刊,国内外著名数据库收录期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:60049