由计算机辅助决策示率模型扩展代数结构与拓扑空间.docVIP

由计算机辅助决策示率模型扩展代数结构与拓扑空间 　　摘要 示率(illustratability)模型是为计算机辅助决策时定量处理模糊信息而建立的一种新工具。示率模型具有特殊的、值得深入探索的代数性质和拓扑性质。对示率模型进行扩展，提出了论域的影和影集概念，初步讨论了其中的代数结构、拓扑空间和粗糙影，以期促进相关的系统性研究。 　　关键词 管理；计算机；模糊信息；示率 　　1引言 　　1978年度的诺贝尔经济学奖得主、管理学家兼计算机科学家H.A.Simon曾经断言：管理就是决策 。这句管理学界和经济学界所熟知的名言一针见血地道出了决策对管理之重要性。的确，决策贯穿于管理的计划、组织、领导和控制中，以至于决策几乎可以视为管理的同义语 。现代的管理决策问题日益复杂，计算机辅助决策是提高管理效率和改善管理效果的有益手段。 　　为了给计算机辅助决策时定量处理模糊信息提供一种有效的方法，参考文献[3]提出了示率(illustratability)概念，相应地建立了初步的理论框架。示率理论是奠基于Cantor集合之上的。19世纪末，Cantor首创集合论，为描述人类的认知提供了一个简洁而有效的模型，也成为了现代数学大厦的基础。Cantor集合反映的是人类对客观事物和客观现象的认知能力与认知状态，而非必然是客观事物和客观现象的完全反映。但仅有属于和不属于两种取值的Cantor集合并非就意味着必定不能精确地描述客观事物和客观现象。示率思想认为，有效地定量处理模糊信息的理论完全不必依赖于发明根本就不是什么集合的所谓Fuzzy集合。当然，示率概念的提出绝没有企图要全盘抛弃现有的Fuzzy集合理论相关的研究成果，而仅仅是希望摆正研究模糊信息的基础。实际上，基于Fuzzy集合的一些有成效的理论与方法经过适当的改造完全可以纳入示率理论的框架内。 　　示率模型是示率理论处理模糊信息的核心工具，示率模型具有特殊的、值得深入探索的代数性质和拓朴性质。本文将对示率模型进行扩展，提出论域的影和影集概念，并初步讨论其中的代数结构、拓扑空间和粗糙影，期望以此促进相关的系统性研究。 　　2示率模型的扩展--论域的影 　　定义2.1设：（1）论域 是一个非空Cantor集；（2） A是一个非空Cantor集，且AS=(A,∨，∧) 是一个定义有两种运算的封闭的代数系统；（3）映射s:U→AS ，则：（1）AU 上子集{(s(u),u)/u∈U} 被称为U论域 在 AS上的一个左影，记为 ＜s(U,AS)，当U 和AS均已明确时，可以简记为＜s 。论域 U在 AS上的所有左影构成的集合被称为论域U 在 AS上的左影集，记为＜ss(U,AS) ，当 U和 AS 均已明确时，可以简记为＜ss ；（2） UA上子集{(u,s(u))/u∈U}被称为论域U 在 AS上的一个右影，记为s＞(U,AS) ，当 U和AS均已明确时，可以简记为 s＞。论域U 在AS 上的所有右影构成的集合被称为论域 U在 AS上的右影集，记为ss＞(U,AS) ，当 U和AS均已明确时，可以简记为 ss＞。 　　下文仅讨论左影和左影集，右影和右影集可做类似推广。 　　定义2.2在左影集 ＜ss(U,AS)上规定并和交两种运算， 　　（1）并运算，记为 ∨＜s：?HO＜ ｓ１， ＜ ｓ２ ∈＜ss，＜ ｓ１∨＜s＜ ｓ２｛（（ｓ１（ｕ）∨ｓ２（ｕ）），ｕ）／ｕ∈Ｕ｝； 　　（2）交运算，记为 ∧ ＜s：， ?HO＜ ｓ１， ＜ ｓ２ ∈＜ss，＜ ｓ１ ∧＜s＜ ｓ２｛（（ｓ１（ｕ） ∧ｓ２（ｕ）），ｕ）／ｕ∈Ｕ｝ 。 　　定理2.1（ ＜ss(U,AS)，∨＜s ， ∧ ＜s）是一个继承了ＡＳ＝(A,∨，∧） 的所有运算规律的封闭的代数系统。 　　定理的证明是简单而直接的，为节省篇幅，此略。 　　3论域的影格 　　定理3.1若 ＡＳ＝(A,∨，∧）是格，则（ ＜ss(U,AS)，∨＜s ， ∧ ＜s）构成格。 　　证明：这是根据格的定义与定理2.1的直接推论。 　　定理3.2若 ＡＳ＝(A,∨，∧）是有界格，则（ ＜ss(U,AS)，∨＜s ， ∧ ＜s）构成有界格。 　　证明：这是根据有界格的定义与定理2.1的直接推论。 　　定理3.3若 ＡＳ＝(A,∨，∧）是有补格，则（ ＜ss(U,AS)，∨＜s ， ∧ ＜s）构成有补格。 　　证明：这是根据有补格的定义与定理2.1的直接推论。 　　定理3.4若 AS=(A,∨，∧)是分配格，则（ ＜ss(U,AS)，∨＜s ， ∧ ＜s）构成分配格。 　　证明：这是根据分配格的定义与定理2.1的直接推论。 　　定理3.5若AS=(A,∨，∧) 是有补分配格，则（ ＜ss(U,AS)，∨＜s ， ∧ ＜s）构成