發(fā)布時間：2018-05-17 13:45

  本文選題：α-三I問題 + 多值邏輯系統(tǒng)W_n��； 參考：《計算機工程與應用》2005年25期

【摘要】：在多值邏輯系統(tǒng)Wn中提出了琢-三I問題。通過在F(S)中引入一個偏序,討論了琢-GMP和多重琢-GMP問題的形式化推理問題,得到了琢-FMP問題的形式化三I解,從而在多值邏輯系統(tǒng)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.
【作者單位】： 陜西師范大學數(shù)學研究所 陜西師范大學數(shù)學研究所
【基金】：國家自然科學基金重點資助項目(批準號:10331010)
【分類號】：O141.1

【參考文獻】

相關(guān)期刊論文 前9條

1 王國俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國科學E輯;1998年02期

2 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯;1999年01期

3 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學E輯;2002年02期

4 裴道武;FMT問題的兩種三I算法及其還原性[J];模糊系統(tǒng)與數(shù)學;2001年04期

5 裴道武,傅麗;模糊推理三I算法的邏輯基礎[J];模糊系統(tǒng)與數(shù)學;2004年03期

6 袁和軍,李駿;推廣形式下的三I算法[J];陜西師范大學學報(自然科學版);2002年01期

7 蘇忍鎖,王國俊;RL型蘊涵與Fuzzy推理的三I算法[J];陜西師范大學學報(自然科學版);2004年03期

8 宋士吉,馮純伯,吳從p，

本文編號：1901611