位置：成果数据库 > 期刊 > 期刊详情页
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：TP180[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]贵州民族大学理学院,贵州贵阳550025, [2]西南交通大学智能控制开发中心,四川成都610031, [3]贵州工程应用技术学院理学院,贵州毕节551700
  • 相关基金：国家自然科学基金资助项目（61175055;61305074）; 贵州省科学技术基金资助项目（黔科合J字LKB[2012]02号）
作者： 张家锋[1], 徐扬[2], 曹发生
关键词： 自动推理, 语义归结, 删除策略, 格值逻辑, Automated Reasoning, Semantic Resolution, Delete Strategy, Lattice-valued Logic
中文摘要：

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性。首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性。

英文摘要：

Automated reasoning is one of the most important research directions in artificial intelligence,resolution-based automated reasoning have been extensively studied because of its easy implement on computer.For improving the efficiency ofα-generalized resolution principle in lattice-valued logic,we apply the delete strategy toα-generalized semantic resolution and investigate the comparability of delete strategy andα-generalized semantic resolution method in lattice-valued logic.Firstly,the completeness ofα-generalized semantic resolution method with delete strategy is proved.Subsequently,theα-generalized semantic resolution algorithm is investigated and sound theorem and complete theorem of this generalized semantic resolution algorithm are proved.

同期刊论文项目
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
基于格值逻辑的α-锁归结与α-锁调解自动推理
期刊论文 13
同项目期刊论文
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)的多元α-归结原理的注记
基于格值一阶逻辑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)中两种模型的不确定性推理
基于焦点可视化的决策支持系统研究
三维虚拟机器人运动仿真系统设计
格蕴涵代数的粗糙滤子
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滤子
剩余格上的L滤子
剩余格的粗滤子
语言真值直觉模糊命题逻辑系统的推理规则
基于统一贴近度的模糊推理新方法
基于统一贴近度的模糊推理新方法
软集与软格
一类推广的Bernstein算子的逼近
基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构
非交换剩余格的子正蕴涵滤子
模糊参数模糊软R0-代数
基于Geom／Geom1/c排队的到港容量研究
直觉模糊集的结构化分析
基于业务效能的信息系统安全态势指标
基于Biased-SVM的非平衡半监督分类算法
基于Biased-SVM的非平衡半监督分类算法
考虑信息泄露的供应链成员决策研究
N元格蕴涵代数不等式的解Ⅱ
基于期望准则和分布自由的回购契约协调模型
区间值模糊同或算子
基于区间D-S证据理论的物流中心选址模型
分布自由时基于可控提前期的契约适应性研究
一种面向不平衡数据的半监督特征选择算法
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
软结合BCI代数
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133