管　濤　馮博琴

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