计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (7): 91-93.

• 学术探讨 • 上一篇    下一篇

逻辑系统Ht中三-I算法的另一种证明

马巧云1,2,吴洪博2   

  1. 1.西安文理学院 数学系,西安 710065
    2.陕西师范大学 数学与信息科学学院,西安 710062
  • 收稿日期:2007-06-21 修回日期:2007-08-27 出版日期:2008-03-01 发布日期:2008-03-01
  • 通讯作者: 马巧云

Another proving of three I algorithm in fuzzy logic system Ht

MA Qiao-yun1,2,WU Hong-bo2   

  1. 1.Dept Math,Xi’an University of Arts and Science,Xi’an 710065,China
    2.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China
  • Received:2007-06-21 Revised:2007-08-27 Online:2008-03-01 Published:2008-03-01
  • Contact: MA Qiao-yun

摘要: 在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。

Abstract: Another proving of three I algorithm in fuzzy logic system Ht based on Ht algebra is gotten.Moreover it is proved that three I algorithm is P-returning algorithm in fuzzy logic system Ht and the answer of FMT in fuzzy logic system Ht is obtained.The fuzzy logic system W is gotten if letting t=1 in fuzzy logic system Ht.So the results in fuzzy logic system Ht will be results in fuzzy logic system W.