Abstract: A system for using large language models (LLMs) to convert natural language (NL) requirements for aerospace systems to formalism for controlling a landing gear system of an aircraft includes a processor and a memory including instructions which, when executed by the processor, causes the system at least to perform using an LLM to revise a received NL expression associated with a requirement for an aerospace system. An LLM is also used to replace at least one word in the revised NL expression with a lifted atomic entity to generate an underlying sentence structure and translate the underlying sentence structure to a lifted logical formula. An LLM is also used to ground the lifted logical formula and to convert the NL expression into a formalized requirement for the aerospace system. The system also controls the aerospace system based on the formalized requirement.

Abstract: A system for using large language models (LLMs) to convert natural language (NL) requirements for aerospace systems to formalism for controlling a landing gear system of an aircraft includes a processor and a memory including instructions which, when executed by the processor, causes the system at least to perform using an LLM to revise a received NL expression associated with a requirement for an aerospace system. An LLM is also used to replace at least one word in the revised NL expression with a lifted atomic entity to generate an underlying sentence structure and translate the underlying sentence structure to a lifted logical formula. An LLM is also used to ground the lifted logical formula and to convert the NL expression into a formalized requirement for the aerospace system. The system also controls the aerospace system based on the formalized requirement.