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

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

Logic and Decision Rules for Fuzzy Objective Information Systems

Based on fuzzy objective information systems' model, and combining with rough logic theory, a logic language, denoted as FRDL(fuzzy rough decision language),is proposed. The definitions, semantics, satisfiability and validity of FRDL and their related properties are given. Furthermore, the formulation and constructing ways of decision rules and reverse decision rules for fuzzy objective information systems are presented based on FRDL.The logic and reasoning rules described in FRDL provide decision support systems and inference machines, which are constructed by fuzzy objective information systems, with formal representation and reasoning method. The experimental results obtained from ophthalmological data, show that our formalization and reasoning methods are more reasonable.