Attempto Controlled English

Attempto Controlled English (ACE) (Inglés Controlado Attempto) es un lenguaje natural controlado, es decir, un subconjunto del inglés común con una sintaxis restringida y una semántica restringida descrita por un pequeño conjunto de reglas de interpretación.

Los ejemplos originales están en inglés, y se muestran como referencias: Las reglas de construcción de ACE requieren que cada sustantivo sea introducido por un determinante (un, cada, ningún, algún, al menos 5, ...).

Así un texto ACE es una entidad coherente de oraciones ligadas anafóricamente.

Si bien ACE parece perfectamente natural — puede ser leído y comprendido por cualquiera — es de hecho un lenguaje formal.

Traducir DRSs al lenguaje común de lógica de primer orden permite a los usuarios razonar sobre textos ACE, por ejemplo para verificarlos, para validarlos, y para consultarlos.