# Developing controlled natural language for formal specification patterns using AI assistants

arXiv: https://arxiv.org/abs/2512.24159 · HTML: https://mlsanity.com/paper/2512.24159/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 20 references that are in the map.
- First posted on arXiv 30 Dec 2025.

## Builds on (most cited first, 1 of 1)

- [On Systematically Building a Controlled Natural Language for Functional Requirements](https://mlsanity.com/paper/2005.01355/) (2020)

## Abstract (arXiv)

Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical attributes. The method involves three stages: 1) compiling a generalized natural language requirement pattern that utilizes all attributes of the formal specification template; 2) generating, using the AI assistant, a corpus of natural language requirement patterns, reduced by partially evaluating attributes (the developed prompt utilizes the generalized template, attribute definitions, and specific formal semantics of the requirement patterns); and 3) formalizing the syntax of the controlled natural language based on an analysis of the grammatical structure of the resulting patterns. The method has been tested for event-driven temporal requirements.