管　濤　馮博琴

摘要：基于模糊目標(biāo)信息系統(tǒng)模型，并結(jié)合粗糙集相關(guān)的邏輯理論，提出了模糊粗糙決策語(yǔ)言FRDL，給出了FRDL中公式的定義、語(yǔ)義、可滿足性有效性的形式化描述以及相關(guān)的性質(zhì)．在此語(yǔ)言的基礎(chǔ)上，給出了模糊目標(biāo)信息系統(tǒng)上的決策規(guī)則、逆決策規(guī)則形式化描述和構(gòu)造方法．FRDL所描述的邏輯表達(dá)方法以及規(guī)則推理公式為建立在模糊目標(biāo)信息系統(tǒng)之上的決策支持系統(tǒng)、推理機(jī)提供了形式化的表示和推理方法．最后，在眼科近視診斷上進(jìn)行的數(shù)據(jù)實(shí)驗(yàn)表明，這種形式化描述和推理方法比較合理．關(guān)鍵詞：模糊目標(biāo)信息系統(tǒng)；模糊粗糙決策語(yǔ)言；決策規(guī)則中圖分類號(hào)：TPl8文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：0253—987X(2004)02—0140—04