多值逻辑系统W_n中α-三I问题的形式解

发布时间：2018-05-17 13:45

  本文选题：α-三I问题 + 多值逻辑系统W_n　； 参考：《计算机工程与应用》2005年25期

【摘要】：在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。
[Abstract]:In the multivalued logic system Wn, the chisel-triple-I problem is proposed. By introducing a partial order into FMS, this paper discusses the formal reasoning of the chisel-GMP problem and the multi-chisel-GMP problem, and obtains the formalized three-I solution of the chisel-FMP problem. Thus, a formal reasoning mechanism for the chisel-triple-I problem is established in the multi-valued logic system Wn.
【作者单位】： 陕西师范大学数学研究所 陕西师范大学数学研究所
【基金】：国家自然科学基金重点资助项目(批准号:10331010)
【分类号】：O141.1

【参考文献】

相关期刊论文 前9条

1 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

2 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

3 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

4 裴道武;FMT问题的两种三I算法及其还原性[J];模糊系统与数学;2001年04期

5 裴道武,傅丽;模糊推理三I算法的逻辑基础[J];模糊系统与数学;2004年03期

6 袁和军,李骏;推广形式下的三I算法[J];陕西师范大学学报(自然科学版);2002年01期

7 苏忍锁,王国俊;RL型蕴涵与Fuzzy推理的三I算法[J];陕西师范大学学报(自然科学版);2004年03期

8 宋士吉,冯纯伯,吴从p，

本文编号：1901611