摘要:基于邏輯相似度和剩余蘊涵,研究了五蘊涵推理方法(QIP)和相似度推理方法(FSI)的魯棒性,給出了在四個常用蘊涵下QIP的魯棒性的具體結(jié)果,以及基于修正的Kleene蘊涵的FSI的魯棒性結(jié)論,并且對這兩種推理方法的魯棒性進行了初步的比較.
注:因版權(quán)方要求,不能公開全文,如需全文,請咨詢雜志社
熱門期刊
期刊名稱:高校應(yīng)用數(shù)學(xué)學(xué)報A輯
高校應(yīng)用數(shù)學(xué)學(xué)報A輯雜志緊跟學(xué)術(shù)前沿,緊貼讀者,國內(nèi)刊號為:33-1110/O。堅持指導(dǎo)性與實用性相結(jié)合的原則,創(chuàng)辦于1986年,雜志在全國同類期刊中發(fā)行數(shù)量名列前茅。