产生式系统原理在联锁软件开发中的应用

计算机联锁软件中的逻辑关系是使用规则进行描述的。产生式系统是一种基于规则的推理技术,联锁软件可采用产生式系统的技术进行开发。描述了产生式系统中三个部分(规则库定义、总数据库设计、控制策略设计)在开发联锁软件过程中的实现,其中在定义规则库时提出了一些新的概念和实施细则。本文以联锁软件中的排列进路功能为例,阐述了方法的执行流程。计算机联锁系统由冗余配置的安全计算机和联锁软件构成,其中联锁软件执行联锁逻辑,是整个系统的主要组成部分。传统的软件开发以功能为单位进行模块划分进行设计,联锁软件中各关联元素的逻辑关系是一个整体,无法简单地按照“功能、模块”的方式将其拆分。鉴于这个特点,可以分析功能梳理出内部逻辑关系,然后对逻辑关系进行整体设计和实现,即使用规则来描述逻辑关系。规则的形式为A→B,A为条件,B为动作,当条件A满足时,触发动作B。