DML理论介绍.docVIP

DML理论介绍 一个复杂的物理系统可以用以FUNCTION为中心，GOAL、EVENT、STRUCTURE、BEHAVIOR为辅的五种阶层分解与连结以表达系统的动态特性。这样的知识表示法是Domain-General，而且比其它的知识表示法有更高的Information Density。 --- Mohammad Modarres 知识表示法 主逻辑图 DML知识整合与推理理论源自于马里兰大学可靠度工程中心(Center for Reliability, University of Maryland at College Park)著名的动态主逻辑图(Dynamic Master Logic Diagram; DMLD) 理论。DMLD的前身为主逻辑图(Master Logic Diagram; MLD)，是由马里兰大学可靠度工程中心主任Mohammad Modarres教授于1987年首先提出。 这个研究源自于1979年美国最大的核能电厂灾变 --- 「三哩岛(3-Mile Island)事件」，当时在无预警的状况下，核电厂内近千余个控制灯号同时亮起，监控人员茫然无措，无从解决起；当时，美国原子能管制委员会(USNRC)紧急将D.C.邻近的专家全部汇集讨论解决之道，因专家各执一辞，最后仍无法找出肇因(Root Cause)而酿成灾变。因此，为解决此一问题，遂委托美国马利兰大学开发一套能够及时监控与预防的专家系统，将核能发电厂各重要的关键组件建立专家知识模式，当异常状况发生时，透过热线联机核电厂计算机，仿真所会引起的反应，以便立即监控、推理与反应。 在马利兰大学可靠度工程中心的钻研与开发之下，终于在1987年研发MLD雏型成功，并开始建立美国109个核能电厂的推理模型与知识库。但是，由于MLD理论以布尔代数(Boolean Logic)为主，机率统计理论为辅，在109个核能电厂推理模型建立的过程中，面临到下列几个问题： 肇因的形成与时间及路径有关，往往不是由单一个因素决定。 操作员访谈的过程中，往往以提供文字描述及数学表达式为主；定义0/1二值化的布尔表达式需要精确的临界点(Threshold)，有其实质上的困难。 系统失效有程度上的分别；当原始设计的主系统完全失效时，部份失效(Partial Failure)次系统的重新组合运用，往往是解决问题的最佳途径。 人为的失误(Human Error)往往无法以数学式或布尔逻辑表示。 对于某些系统而言，成功与失败的临界点是浮动的(Floating Threshold)，必须依当时的瞬时状况而判断，不是一个固定值。 不同的理论面对不同的系统及不同的状况下，各有其优缺点，一个好的推理理论必须能兼容并包，整合不同理论的运算结果。 功能上的推理仅是分析的一部份，流程、文件、软硬件、组织，行动 …上的缺失都可能是失效造成的一环。 因此，在1992年时，整个理论经改良加入模糊逻辑与时间的理论，并采用多维分析；同时将此套逻辑推理机制重新命名为「Dynamic Master Logic Diagram; DMLD」，之后以3年的时间顺利完成109个核能电厂的模型。 在发展的过程中，为了使MLD/DMLD建立、推理与使用者图形接口(GUI)设计的过程计算机化，在1987年至1995年间，MLD系统主要是建立在SUN WorkStation上以LISP为发展语言；1995年知识管理的风潮开始兴起，个人计算机的使用者图形接口(GUI)也渐趋完善，于是，1996年设计MS-Window-Based的「DML-Unified Software; DML-US」知识管理建置工具，透过此工具可将复杂的逻辑关系表达于图表之上，以利于观察其变化情形；1998年WWW兴起，DML-US改版成为Web-Based。目前 MS-Window-Based 的最新版本为DML-US 8.0。 对于非常复杂的系统而言(例如核能电厂)，如想对全系统做出模型以进行可靠度分析或风险评估事实上是相当困难的，尤其是系统中的各个次系统之间又互相具有关连。因此，提出一套能对系统之各项功能及系统内之各个次系统之间的逻辑关系做出清析描述的方法，有其实务上的需求。Modarres教授提出的主逻辑图观念，就是希望能够达到上述的目的。 主逻辑图的绘制，是将系统的各项目的(功能)在图的上方由左向右逐一列出，而将系统中的各项次系统软硬件在图的左方由上向下逐一列出后，在系统软硬件与目的 (功能)之间形成一个矩阵。对于系统软硬件与目的 (功能)之间具有关联者，则以一个·标注于二者之交集处。 主逻辑图具有以下的特性： ? 主逻辑图属矩阵式逻辑，可正逆双向推理 由于主逻辑图能够将系统之各项功能及系统内之各个次系统之间的逻辑关系