基于大模型的计算树逻辑规范表达式生成方法和装置

本申请公开了一种基于大模型的计算树逻辑规范表达式生成方法和装置。其中该方法包括：基于预设的大语言模型和提示词模板获取自然语言NL到计算树逻辑CTL的映射数据集；所述映射数据集包括多个自然语言与计算树逻辑的数据对；基于所述映射数据集对预设的文本转换模型进行训练，得到目标文本转换模型；基于原子命题转换规则将自然语言需求文本中的原子命题替换为占位符，得到所述自然语言需求文本对应的预处理文本；将所述预处理文本输入所述目标文本转换模型，获取所述预处理文本对应的CTL规范表达式。本申请实施例可以解决相关技术中自然语言需求到CTL形式化规格说明的转换效率和精准度较低的技术问题。