Attempto Controlled English

Attempto Controlled English (ACE) (Inglés Controláu Attempto) ye un llinguaxe natural controláu, esto ye, un subconxuntu del inglés común con una sintaxis acutada y una semántica acutada descrita por un pequeñu conxuntu de regles d'interpretación. 

Equí hai dellos exemplos simples. Los exemplos tán n'español pa simplificar la esplicación. Los exemplos orixinales tán n'inglés, y amuésense como referencies:

 * Muyeres son humanes.* Women are human.
 Cada muyer ye un humanu.Every woman is a human.
 Un home ye un humanu.A man is a human.
 Un home prueba una nueva corbata. Si la corbata gústa-y a los so muyer entós l'home la compra.A man tries-on a new tie. If the tie pleases his wife then the man buys it.

Les regles de construcción de ACE riquen que cada sustantivu seya introducíu por un determinante (un, cada, nengún, dalgún, siquier 5, ...). Esto esclúi (1), indicáu con * precediendo la oración. Les regles d'interpretación de ACE deciden que (2) seya interpretada como cuantificada universalmente, ente que (3) ye interpretada como cuantificada existencialmente. Otres regles d'interpretación resuelven les referencies anafóriques en (4): la corbata y la de la segunda oración refieren a una nueva corbata de la primer oración, ente que el so y l'home de la segunda oración refieren a un home de la primer oración. Asina un testu ACE ye una entidá coherente d'oraciones amestaes anafóricamente.

ACE puede sirvir como representación de la conocencia, especificación, y llinguaxe de consulta, y ta pensáu pa profesionales que quieren usar notaciones formales y métodos formales, pero pueden nun tar familiarizaos con ellos. Magar ACE paez perfectamente natural — pue ser lleíu y entendíu por cualesquier — ye de fechu un llinguaxe formal.

El Attempto Parsing Engine (APE) (Motor d'Analís Attempto) traduz testos ACE ensin ambigüedá a estructures de representación del discursu (DRS) qu'usen una variante del llinguaxe de lóxica de primer orde. Los DRSs pueden ser traducíes dempués a otros llinguaxes formales, por casu AceRules con delles semántiques, RuleML , OWL, y SWRL. Traducir DRSs al llinguaxe común de lóxica de primer orde dexa a los usuarios razonar sobre texto ACE, por casu para verificalos, pa validalos, y pa consultalos.

ACE y les sos ferramientes rellacionaes fueron usaos nes árees d'especificación de software, demostración de teoremes, resume de testos, ontoloxíes, regles, consulta, documentación médica, y planificación. En 2004, ACE foi adoptáu como la llingua natural controlada de la Rede Europea d'Excelencia REWERSE (Razonamientu na Web con Regles y Semántiques - Reasoning on the Web with Rules and Semantics).

 Referencies 

 Ver tamién 
Procesamientu del llinguaxe natural
Representación de la conocencia

 Enllaces esternos 
Project Attempto (n'inglés)
Controlled Natural Languages (n'inglés)
TRANSLATOR: A TRANSlator from LAnguage TO Rules  (n'inglés)

Categoría:Llingües controlaes
Categoría:Representación de la conocencia
Categoría:Llingüística computacional