Língua natural controlada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Corrigindo Predefinição:Tradução de |
m v1.41 - Corrigido usando WP:PCW (Predefinição contém a palavra "predefinição") |
||
Linha 3:
'''Línguas naturais controladas'''<ref name=":0">{{Citar web|título = Tradução automática e linguagens controladas: contributos para um português controlado|URL = http://repositorio.ul.pt/handle/10451/3656|obra = repositorio.ul.pt|acessadoem = 2015-11-25|primeiro = Gomes, Ana Lucrécia|último = Madeira}}</ref><ref>{{Citar livro|título = Proceedings of the VIIth GSCP International Conference. Speech and Corpora|url = https://books.google.com/books?id=CXhtIKrWukAC|editora = Firenze University Press|ano = 2012-01-01|isbn = 9788866553519|nome = Heliana|sobrenome = Mello|nome2 = Massimo|sobrenome2 = Pettorino|nome3 = Tommaso|sobrenome3 = Raso}}</ref> (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".<ref>{{
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.
== Línguas ==
Línguas naturais controladas existentes baseadas em lógica incluem:<ref name="Pool2006">{{
* [[Português controlado]]<ref name=":0" />
* Attempto Controlled English
Linha 15:
* Rabbit
* PENG (Processable ENGlish)
* Restricted Natural Language Statements (RNLS)<ref name="Breaux">{{
* Semantics of Business Vocabulary and Business Rules
* ClearTalk
* Controlled Language for Ontology Editing (CLOnE)<ref>{{
* [[Inform|Inform 7]], uma linguagem de programação baseada em inglês declarativo
Outras línguas naturais controladas existentes incluem:
|