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

兰州理工大学学报 ›› 2024, Vol. 50 ›› Issue (2): 161-168.

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

李冉冉, 于鹏^*

陕西科技大学数学与数据科学学院, 陕西西安 710021

收稿日期:2022-06-21 出版日期:2024-04-28 发布日期:2024-04-29
通讯作者: 于鹏(1981-),男,宁夏永宁人,博士,副教授.Email:yupeng@sust.edu.cn
基金资助:
国家自然科学基金(12171294)

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

LI Ran-ran, YU Peng

School of Mathematics and Data Sciences, Shaanxi University of Science and Technology, Xi'an 710021, China

Received:2022-06-21 Online:2024-04-28 Published:2024-04-29

摘要/Abstract

摘要： 针对(G,N)-蕴涵是否满Modus Ponens、Modus Tollens和Hypothetical Syllogism等推理规则问题展开讨论,给出了几类常见t-模下,(G,N)-蕴涵满足相应推理规则的判定条件, 为优化模糊推理算法的设计提供了参考依据.

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

Abstract: 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.

Key words: triangular norms, (G,N)-implication, Modus Ponens, Modus Tollens, Hypothetical Syllogism

中图分类号:

李冉冉, 于鹏. (G,N)-蕴涵关于常见推理规则的可满足性[J]. 兰州理工大学学报, 2024, 50(2): 161-168.

LI Ran-ran, YU Peng. The satisfiability of common inference rules with respect to (G,N)-implication[J]. Journal of Lanzhou University of Technology, 2024, 50(2): 161-168.