Kontrollü doğal diller (CNL'ler), dilbilgisini basitleştirerek ve belirsizlik veya karmaşıklığı önlemek için dildeki kelime sayısını azaltarak oluşturulan yapay dillerdir.
İki tür kontrollü dil vardır: bazıları bir dili ana dili olarak konuşmayanlara yardımcı olmak için tasarlanmıştır, bazıları ise otomatik semantik analiz sağlamak için tasarlanmıştır.
Birinci tür diller genellikle "basitleştirilmiş" veya "teknik" diller olarak adlandırılır. İşletmeler veya endüstriler tarafından teknik yazım kalitesini artırmak için kullanılırlar. Standart terimler diğer dillere yarı otomatik çeviriyi kolaylaştırır. Örnekler: ASD Sim Teknik İngilizcesi, Caterpillar Teknik İngilizcesi ve IBM'in Kolay İngilizcesi.
Basitleştirilmiş (veya teknik) diller, "kısa ve basit cümleler yazın", "o" demek yerine kişinin adını kullanın ("John Smith" gibi) ve "ne yapıldığını söylemeniz gerekmedikçe, ne yapıldığından ziyade bir şeyi kimin yaptığından bahsedin" gibi genel kurallarla yazara rehberlik eder.
İkinci tür diller, yazma ve anlama için iyi tanımlanmış kurallara sahiptir. Bu kurallar birinci dereceden mantık gibi resmi dillerle eşleştirilebilir. Bu diller bilgisayar tarafından analiz edilebilir. Doğru olduklarını görmek için kontrol edilebilirler. Kolayca bilgi araması yapılabilir.