一种工业控制逻辑智能生成系统及方法
本发明涉及工业控制技术领域,提出了一种工业控制逻辑智能生成系统及方法。多模态输入模块用于获取针对待控制工艺的多模态数据;领域知识图谱模块用于存储预构建的知识图谱;预处理模块用于基于预构建的知识图谱,对多模态数据进行预处理;受控逻辑生成模块用于根据预处理后的多模态数据,通过大语言模型生成针对待控制工艺的逻辑控制中间表示;形式化验证与交互模块用于对逻辑控制中间表示进行形式化验证;目标文件生成输出模块,用于将形式化验证合格的逻辑控制中间表示编译成针对目标平台的控制逻辑文件。大语言模型在领域知识图谱的约束下,可依据背景知识生成灵活且适应性强的工业控制逻辑,精准适配不同工艺需求。