Attempto Controlled English (ACE) é uma linguagem natural controlada projetada para representação de conhecimento e raciocínio sem ambiguidade. Ela permite que usuários escrevam especificações formais, consultas e regras em um subconjunto do inglês que pode ser automaticamente traduzido para lógica de primeira ordem (FOL) e outras linguagens formais. A ACE foi desenvolvida na Universidade de Zurique, com origens no final da década de 1990, e desde então tem sido usada em diversos domínios, incluindo especificação de software, engenharia de ontologias e resposta a perguntas. O objetivo principal da ACE é preencher a lacuna entre texto legível por humanos e lógica interpretável por máquinas, tornando métodos formais acessíveis a não lógicos, preservando ao mesmo tempo a precisão.
A ACE não é uma linguagem de forma livre; é um subconjunto estritamente definido do inglês com gramática e vocabulário fixos. Cada frase em ACE deve estar em conformidade com um conjunto predefinido de regras sintáticas, o que garante que cada frase tenha exatamente uma interpretação lógica. Isso elimina a ambiguidade inerente à linguagem natural, como ambiguidades de escopo, resolução de anáfora e polissemia lexical. Por exemplo, a frase "Every customer who owns a car likes it" é inequívoca em ACE, com o pronome "it" referindo-se claramente ao carro de propriedade do cliente. A linguagem suporta construções como quantificação universal e existencial, negação, declarações condicionais e verbos modais, todas expressas de uma maneira que espelha o inglês cotidiano.
História e Desenvolvimento
O desenvolvimento da ACE começou no final da década de 1990 no Instituto de Linguística Computacional da Universidade de Zurique, liderado por Norbert E. Fuchs e sua equipe. A primeira versão, ACE 1.0, foi lançada em 1997, e foi projetada como uma ferramenta para representação de conhecimento no contexto do projeto Attempto, que visava criar uma interface de linguagem natural para programação lógica. Ao longo dos anos, a ACE evoluiu através de várias versões, com a ACE 6.0 sendo um marco notável em 2007 que introduziu uma gramática mais abrangente e tradução aprimorada para lógica de primeira ordem. A linguagem também foi estendida para suportar estruturas de representação de discurso, permitindo textos com múltiplas frases. Em 2010, o projeto Attempto lançou a ACE 6.1, que incluía um analisador sintático e um tradutor capazes de gerar FOL, e versões posteriores adicionaram suporte para OWL (Web Ontology Language) e SWRL (Semantic Web Rule Language). O desenvolvimento foi ativo até aproximadamente 2015, após o qual o projeto foi amplamente mantido como software de código aberto.
Sintaxe e Semântica
A sintaxe da ACE é definida por uma gramática livre de contexto que especifica as estruturas de frase permitidas. A gramática cobre frases declarativas, perguntas e formas imperativas, mas com restrições estritas sobre ordem de palavras e tipos de frases. Por exemplo, adjetivos devem preceder substantivos, e orações relativas devem seguir o substantivo que modificam. O vocabulário também é limitado; apenas certas palavras comuns em inglês são permitidas, e todos os termos devem ser definidos em um léxico. A semântica da ACE é composicional, o que significa que o significado de uma frase é construído a partir dos significados de suas partes. A tradução para FOL é determinística, usando um conjunto de regras que mapeiam estruturas sintáticas para fórmulas lógicas. Por exemplo, a frase "No dog barks" traduz-se para ¬∃x(dog(x) ∧ bark(x)). A ACE também suporta referências anafóricas, mas com a regra de que um pronome deve referir-se ao antecedente compatível mais recente, o que é uma simplificação do discurso em linguagem natural.
Aplicações e Casos de Uso
A ACE tem sido aplicada em vários domínios práticos. Na engenharia de software, tem sido usada para escrever especificações formais para requisitos de sistema, permitindo que partes interessadas validem requisitos sem precisar entender lógica formal. Por exemplo, a especificação "If a user is logged in and clicks the delete button, then the system deletes the user's account" pode ser escrita em ACE e verificada automaticamente quanto à consistência. Na Web Semântica, a ACE tem sido usada para autoria de ontologias OWL, onde especialistas de domínio podem expressar axiomas de forma legível. O analisador sintático da ACE pode gerar arquivos OWL, que são então usados em sistemas de raciocínio. Além disso, a ACE tem sido empregada em sistemas de resposta a perguntas, onde consultas em linguagem natural são traduzidas para consultas lógicas que podem ser executadas contra uma base de conhecimento. Um exemplo notável é o uso da ACE no projeto de verbalização OWL, que visa tornar ontologias compreensíveis para não especialistas.
Relação com Outras Linguagens Formais
A ACE é frequentemente comparada a outras linguagens naturais controladas e notações formais. Diferente de linguagens de programação como Prolog ou Lisp, a ACE é projetada para ser lida e escrita por humanos sem treinamento especial. Ela é mais expressiva do que linguagens de consulta típicas como SQL, pois pode representar declarações lógicas complexas envolvendo quantificadores e implicações. No entanto, a ACE é menos expressiva do que a lógica de primeira ordem completa, pois carece de certos recursos como quantificação de ordem superior e igualdade. No contexto da Artificial intelligence, a ACE serve como uma ponte entre processamento de linguagem natural e raciocínio formal, complementando abordagens como modelos de linguagem de grande porte, que são poderosos, mas frequentemente produzem saídas ambíguas ou inconsistentes. Embora modelos de linguagem de grande porte possam gerar texto que se assemelha à ACE, eles não garantem consistência lógica, enquanto a ACE assegura um mapeamento um-para-um para a lógica.
Limitações e Direções Futuras
Apesar de seus pontos fortes, a ACE tem limitações. A gramática estrita pode ser incômoda para usuários, pois eles devem aprender as construções permitidas e evitar expressões comuns em inglês que não são permitidas. O vocabulário é limitado, e adicionar novos termos requer atualização do léxico. Além disso, a tradução para FOL pode produzir fórmulas complexas que são difíceis de ler para humanos, mesmo que a frase original em ACE seja simples. A partir de meados da década de 2010, o desenvolvimento da ACE desacelerou, sem grandes lançamentos após 2015. No entanto, as ideias por trás da ACE influenciaram outros projetos de linguagem natural controlada, como PENG e CLCE. Na era da IA generativa, há um interesse renovado em usar linguagens controladas para restringir a saída de redes neurais, garantindo que o texto gerado seja logicamente sólido. Trabalhos futuros podem integrar a ACE com técnicas de aprendizado de máquina para converter automaticamente linguagem natural em ACE, mas, no estado atual, tais sistemas não são amplamente implantados.