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