基于一阶谓词逻辑的智能操作票一体化系统

摘要

针对目前电网操作票系统智能性和通用性的不足,提出了一种命令票-操作票-程序化操作集成自动化系统,可以实现检修计划中操作任务的自动解析,相关电网数据的智能搜索和查询,以及一体化完成调度操作票的推理生成和自动执行.系统通过Rabbit消息队列与外部实现了良好的通信和数据交互.基于一阶谓词逻辑的知识表示方式,对命令票推理的事实库和专家规则库进行了灵活、通用的建模.设计了调度命令票智能生成的推理机制,并进一步研究操作序列的生成方法.基于Python语言进行系统开发和应用,证明了智能系统的有效性和实用性.