南京铁信科技股份有限公司 汤连桥

计算机联锁软件中的逻辑关系是使用规则进行描述的。产生式系统是一种基于规则的推理技术，联锁软件可采用产生式系统的技术进行开发。描述了产生式系统中三个部分（规则库定义、总数据库设计、控制策略设计）在开发联锁软件过程中的实现，其中在定义规则库时提出了一些新的概念和实施细则。本文以联锁软件中的排列进路功能为例，阐述了方法的执行流程。

计算机联锁系统由冗余配置的安全计算机和联锁软件构成，其中联锁软件执行联锁逻辑，是整个系统的主要组成部分。传统的软件开发以功能为单位进行模块划分进行设计，联锁软件中各关联元素的逻辑关系是一个整体，无法简单地按照“功能、模块”的方式将其拆分。鉴于这个特点，可以分析功能梳理出内部逻辑关系，然后对逻辑关系进行整体设计和实现，即使用规则来描述逻辑关系。规则的形式为A→B，A为条件，B为动作，当条件A满足时，触发动作B。

将联锁软件中的所有逻辑关系定义成一个规则库，联锁功能就可以通过规则的执行来实现。采用产生式系统（production system）技术并结合形式化语言开发联锁软件是一次新的尝试和探索。

1 产生式系统的概念

产生式系统是一种基于规则的推理技术，属于人工智能的范畴。由三部分组成：总数据库、产生式规则和控制策略。总数据库用来存放事实。产生式规则是一个规则库。当总数据库中的某些事实和某条规则的条件相匹配时，该规则将被激活执行，并把其结论作为新的事实存入总数据库中。……