Methods and systems for translating
natural language traffic rules into formal logic for autonomous moving vehicles. The present invention relates to a
system and method for translating
natural language traffic rules into formal logic, including a training method for
machine learning systems, and may be used in the context of advanced driving assistance systems or automatic driving systems (ADAS or AD) for vehicles or other autonomous moving vehicles such as robots and drones. A method for preparing a
machine learning
system for translating
natural language traffic rules into formal logic representations for autonomous moving (or autonomous driving) vehicles. The
machine learning
system includes a (large) pre-trained
language model that has been trained on a large amount of text data to assign probabilities to a sequence of words. The
machine learning system is prepared by one of the following selectable schemes: i. Prompting using a pre-trained
language model in the following manner:-the inputs of the pre-trained
language model are natural language instructions and language traffic rules,-presenting multiple inputs and corresponding formal logic target outputs to the
machine learning system as (less sample) instances, the
machine learning system is enabled to learn and generate formal logic traffic rules when the natural language instructions and the natural language traffic rules are prompted. Ii.
Fine tuning the machine learning system by using training data comprising language traffic rules as training inputs and corresponding formal logic traffic rules as target outputs for the pre-trained language model (or accordingly, the machine learning system). These language traffic rules include natural language rules and / or synthetic language traffic rules.