基于大语言模型的交规形式化生成和模糊语义量化方法

本申请提供了基于大语言模型的交规形式化生成和模糊语义量化方法。该方法包括：获取自然语言交规文本，并根据该自然语言交规文本确定五元组表示文本；将自然语言交规文本、五元组表示文本输入至大语言模型，确定大语言模型输出的MTL公式和命题列表；根据MTL公式中的谓词，确定谓词映射关系；根据自然语言交规文本中的模糊语义项、MTL公式和该命题列表，确定可观测参数以及量化阈值边界；根据MTL公式、谓词映射关系、量化阈值边界以及自动驾驶车辆的可观测信号的实时取值，确定交规符合性判定结果。通过该方案，能够自动将自然语言交通法规转换为MTL公式，避免了完全依赖人工编码带来的成本高、效率低和迁移性差的问题。