模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型,并结合粗糙集相关的逻辑理论,提出了模糊粗糙决策语言FRDL,给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质.在此语言的基础上,给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法.FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法.最后,在眼科近视诊断上进行的数据实验表明,这种形式化描述和推理方法比较合理.