马 进，王建伟，2，袁雪峰，王 静

(1.华北电力大学 ，河北 保定 071003；2.国网冀北电力有限公司张家口供电公司，河北 张家口 075001)

倒闸操作是变电站运行值班人员的一项重要工作，关系着变电站及电力系统的安全运行，也关系着电气设备上工作人员及操作人员的人身安全。误操作可能造成变电站停电，甚至扩大到整个电力系统，使系统瓦解，而且倒闸操作是一项比较复杂的工作，有一次回路的操作，也有二次回路的操作，操作项目繁多，稍有疏忽，就会造成事故[1]。传统的倒闸操作票由值班人员手工填写，对其进行评判由人工完成，操作条目多，逻辑和判断复杂，不利于学员学习。

本文的变电站操作票规范化考核方法研究，采用一阶谓词逻辑表示法对大量的倒闸操作票进行分析、综合，通过定义相关的谓词，如：CHECK(x)：x被检查、OPERATE(x)：x被操作，并且根据语义用适当的连接符号将各个谓词连接起来，使其能够方便地存储到计算机中，被计算机做精确处理。

1 基于一阶谓词的操作票内容分析

1.1 谓词及逻辑知识表示方法

一阶谓词逻辑是一种形式语言，其根本目的在于把数学中的逻辑论证符号化，能够较为清楚地表达人类的思维活动规律。一阶谓词逻辑表示法的优点包括自然性、精确性、严密性以及容易实现四个方面[2]。人工智能就是研究如何把人们的思维活动形式化、符号化，使其在计算机上实现[3]，因此一阶谓词逻辑是人工智能的重要基础。

一个谓词可分为谓词名和个体两个部分。……