Управляемые естественные языки (УЕН) - это искусственные языки, созданные путем упрощения грамматики и сокращения количества слов в языке, чтобы избежать двусмысленности или сложности.
Существует два типа контролируемых языков: одни предназначены для помощи не носителям языка, а другие - для автоматического семантического анализа.
Первый тип языков часто называют "упрощенными" или "техническими" языками. Они используются предприятиями или отраслями промышленности для улучшения качества технического письма. Стандартные термины упрощают полуавтоматический перевод на другие языки. Примерами являются: технический английский ASD Sim, технический английский Caterpillar и легкий английский IBM.
Упрощенные (или технические) языки ориентируют пишущего на общие правила, такие как "писать короткие и простые предложения", "использовать имя человека ("Джон Смит", например) вместо "он", и "говорить о том, кто делает что-то, а не о том, что делается, если только вам не нужно сказать, что делается".
Языки второго типа имеют четко определенные правила написания и понимания. Эти правила могут быть сопоставлены с формальными языками, такими как логика первого порядка. Эти языки можно анализировать с помощью компьютера. Их можно проверить на правильность. В них можно легко искать информацию.