(G,N)-蕴涵关于常见推理规则的可满足性  

The satisfiability of common inference rules with respect to(G,N)-implication

作　　者：李冉冉 于鹏[1] LI Ran-ran;YU Peng(School of Mathematics and Data Sciences,Shaanxi University of Science and Technology,Xi’an 710021,China)

机构地区：[1]陕西科技大学数学与数据科学学院,陕西西安710021

出　　处：《兰州理工大学学报》2024年第2期161-168,共8页Journal of Lanzhou University of Technology

基　　金：国家自然科学基金(12171294)。

摘　　要：针对(G,N)-蕴涵是否满Modus Ponens、Modus Tollens和Hypothetical Syllogism等推理规则问题展开讨论,给出了几类常见t-模下,(G,N)-蕴涵满足相应推理规则的判定条件,为优化模糊推理算法的设计提供了参考依据.Whether the(G,N)implication satisfies Modus Ponens,Modus Tollens,and Hypothetical Syllogism is discussed in this paper,and some criteria that(G,N)-the implication satisfies the corresponding inference rules under some common t-norms is given,which provides a reference for optimizing the design of fuzzy inference algorithm.

关 键 词：三角模 (G N)-蕴涵 MP规则 MT规则 HS规则 

分 类 号：O14[理学—数学]