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

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

【參考文獻(xiàn)】

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

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

2 王國(guó)俊;模糊推理的全蘊(yùn)涵三I算法[J];中國(guó)科學(xué)E輯;1999年01期

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

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

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

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

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

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

本文編號(hào)：1901611