Attempto Controlled English

De Wikipedia

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.[1]

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:

  1. * Muyeres son humanes.[2]
  2. Cada muyer ye un humanu.[3]
  3. Un home ye un humanu.[4]
  4. Un home prueba una nueva corbata. Si la corbata gústa-y a los so muyer entós l'home la compra.[5]

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.[6] Los DRSs pueden ser traducíes dempués a otros llinguaxes formales, por casu AceRules con delles semántiques,[7] RuleML, OWL,[8] 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 teoremas, 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[editar | editar la fonte]

  1. ↑ «Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces». 
  2. ↑ * Women are human.
  3. ↑ Every woman is a human.
  4. ↑ A man is a human.
  5. ↑ A man tries-on a new tie. If the tie pleases his wife then the man buys it.
  6. ↑ «Discourse Representation Structures for ACE 6.0» (PDF). Technical Report ifi-2008.02, Department of Informatics, University of Zurich. 
  7. ↑ «AceRules: Executing Rules in Controlled Natural Language». 
  8. ↑ «Verbalizing OWL in Attempto Controlled English». 

Ver tamién[editar | editar la fonte]

Enllaces esternos[editar | editar la fonte]

Esti artículu foi traducíu automáticamente y precisa revisase manualmente
Sacáu de «https://ast.wikipedia.org/w/index.php?title=Attempto_Controlled_English&oldid=3832369»