计算机工程与应用 ›› 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

PDF

摘要： 在讨论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.

京ICP备13024262号-1
Copyright © 《计算机工程与应用》编辑部
技术支持：北京玛格泰克科技发展有限公司
总访问量
今日访问
在线人数