língua natural controlada

Línguas naturais controladas (LNC) são subconjuntos das línguas naturais que são obtidos através da restrição da gramática e vocabulário, a fim de reduzir ou eliminar a ambiguidade e complexidade. Tradicionalmente, as línguas controladas caem em dois tipos principais: as que melhoram a legibilidade para os leitores humanos (por exemplo, falantes não-nativos), e aqueles que permitem análise semântica automática confiável da língua. O primeiro tipo de línguas (muitas vezes chamadas línguas "técnicas" ou "simplificadas"), por exemplo o Inglês Técnico Simplificado, o Inglês Técnico Caterpillar, o Inglês Fácil da IBM, são utilizadas na indústria para aumentar a qualidade da documentação técnica e, possivelmente, simplificar a (semi-)tradução automática da documentação. Estas línguas restringem o escritor por regras gerais, tais como "Mantenha frases curtas", "Evite o uso de pronomes", "Só use palavras do dicionário aprovado", e "Use apenas a voz ativa". O segundo tipo de línguas têm uma base lógica formal, ou seja, elas têm uma sintaxe formal e semântica, e podem ser mapeadas para uma linguagem formal existente, como a lógica de primeira ordem. Assim, essas línguas podem ser usadas como línguas de representação de conhecimento, e a escrita dessas línguas é suportada por testes de consistência e redundância totalmente automáticos, consulta eletrônica, etc.