位置：成果数据库 > 期刊 > 期刊详情页
格值命题逻辑系统中广义文字的正规性
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：TP181[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]西南交通大学智能控制开发中心,成都610031
  • 相关基金：国家自然科学基金（No.60875034）; 西南交通大学博士生创新基金
作者： 何星星[1], 徐扬[1], 李莹芳[1], 张家锋[1]
关键词： 格值命题逻辑, α-归结原理, 广义文字, 正规性, 语义性质
中文摘要：

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和（F1→F2）＇的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。

同期刊论文项目
基于格值逻辑的语言真值α-广义归结自动推理研究
期刊论文 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 拓扑：邻域系
四值非链格值命题逻辑系统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
基于“矩阵乘法”的网络最短路径算法
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887