Umwandlung von Anforderungen Natürlicher Sprache für Luft- und Raumfahrtsysteme in Formalismus unter Verwendung Grosser Sprachmodelle

Details

Veröffentlichungs-Nr.

EP4733980

Anmeldetag

8. August 2025

Veröffentlichung

29. April 2026

Rechtsraum

EP

IPC

G06F40/30

Abstract

A system (100) 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 (305) and a memory (330) 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. A 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. A 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.

Anmelder

Firma

General Electric Company

Land

🇺🇸 USA

Fachgebiete