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

• 数理科学 • 上一篇    下一篇

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

李冉冉, 于鹏*   

  1. 陕西科技大学 数学与数据科学学院, 陕西 西安 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   

  1. 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

摘要: 针对(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

中图分类号: