摘要：专利摘要显示，用于将自然语言交通规则翻译为用于自主移动车辆的形式逻辑的方法和系统。本发明涉及一种用于将自然语言交通规则翻译为形式逻辑的系统和方法(包括一种用于机器学习系统的训练方法)，并且可以在用于车辆或者如机器人和无人机等其他自主移动车辆的高级驾驶辅助系统或

金融界2025年4月18日消息，国家知识产权局信息显示，大陆智行德国有限公司申请一项名为“用于将自然语言交通规则翻译为用于自主移动车辆的形式逻辑的系统和方法”的专利，公开号CN119816835A，申请日期为2023年8月。

专利摘要显示，用于将自然语言交通规则翻译为用于自主移动车辆的形式逻辑的方法和系统。本发明涉及一种用于将自然语言交通规则翻译为形式逻辑的系统和方法(包括一种用于机器学习系统的训练方法)，并且可以在用于车辆或者如机器人和无人机等其他自主移动车辆的高级驾驶辅助系统或自动驾驶系统(ADAS或AD)的背景下使用。一种用于准备用于将自然语言交通规则翻译为用于自主移动(或自动驾驶)车辆的形式逻辑表示的机器学习系统的方法。该机器学习系统包括(大型)预训练语言模型，该预训练语言模型已在大量文本数据上进行训练以将概率指派给单词序列。该机器学习系统通过以下可选方案之一来准备：i.使用预训练语言模型按以下方式进行提示：‑该预训练语言模型的输入是自然语言指令和语言交通规则，‑向该机器学习系统呈现多个输入和对应的形式逻辑目标输出作为(少样本)实例，使得该机器学习系统在被提示自然语言指令和自然语言交通规则时学习生成形式逻辑交通规则。ii.通过将包括作为训练输入的语言交通规则以及作为目标输出的对应的形式逻辑交通规则的训练数据用于该预训练语言模型(或相应地，机器学习系统)来对该机器学习系统进行微调。这些语言交通规则包括自然语言规则和/或合成语言交通规则。

来源：金融界