Attempto Controlled English
'''Attempto Controlled English (ACE)''' (Inglés Controláu Attempto) ye un llinguaxe natural controláu, esto ye, un subconxuntu del [[idioma inglés|inglés]] común con una sintaxis acutada y una semántica acutada descrita por un pequeñu conxuntu de regles d'interpretación.<ref>{{cita conferencia | autor = Norbert Y. Fuchs, Kaarel Kaljurand, Gerold Schneider | títulu = Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces | títulolibro = FLAIRS 2006 | fecha = 2006 | url = http://attempto.ifi.uzh.ch/site/publications/papers/FLAIRS0601FuchsN.pdf | formatu = [[PDF]]}}</ref> 

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.<ref>* Women are human.</ref>
# Cada muyer ye un humanu.<ref>Every woman is a human.</ref>
# Un home ye un humanu.<ref>A man is a human.</ref>
# Un home prueba una nueva corbata. Si la corbata gústa-y a los so muyer entós l'home la compra.<ref>A man tries-on a new tie. If the tie pleases his wife then the man buys it.</ref>

Les regles de construcción de ACE riquen que cada sustantivu seya introducíu por un [[determinante (llingüística)|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 [[anáfora|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]], [[llinguaxe d'especificación|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]].<ref>{{cita conferencia | autor = Norbert Y. Fuchs, Kaarel Kaljurand, Tobias Kuhn | títulu = Discourse Representation Structures for ACE 6.0 | booktitle = Technical Report ifi-2008.02, Department of Informatics, University of Zurich | fecha = 2008 | url = http://attempto.ifi.uzh.ch/site/pubs/papers/drs_report_6.pdf| format = [[PDF]] }}</ref> Los DRSs pueden ser traducíes dempués a otros [[llinguaxes formales]], por casu AceRules con delles semántiques,<ref>{{cita conferencia | autor = Tobias Kuhn | títulu = AceRules: Executing Rules in Controlled Natural Language | títulolibro = First International Conference on Web Reasoning and Rule Systems (RR 2007) | añu = 2007 | url = http://attempto.ifi.uzh.ch/site/pubs/papers/kuhn07acerules.pdf| formatu = [[PDF]]}}</ref> [http://www.ruleml.org/translator/ RuleML] {{Webarchive|url=https://web.archive.org/web/20181011183404/http://www.ruleml.org/translator/ |date=2018-10-11 }}, [[Web Ontology Language|OWL]],<ref>{{cita conferencia | autor = Kaarel Kaljurand, Norbert Y. Fuchs |títulu=Verbalizing OWL in Attempto Controlled English | títulolibro = OWL: Experiences and Directions (OWLED 2007) | añu = 2007 | url = http://attempto.ifi.uzh.ch/site/pubs/papers/owled2007_kaljurand.pdf | formatu = [[PDF]]}}</ref> 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 [[verificación formal |verificalos]], pa validalos, y pa consultalos.

[http://attempto.ifi.uzh.ch ACE y les sos ferramientes rellacionaes] fueron usaos nes árees d'[[analises de requerimiento|especificación de software]], [[demostración automática de teoremas|demostración de teoremas]], resume de testos, [[ontoloxía|ontoloxíes]], regles, consulta, documentación médica, y planificación. En [[2004]], ACE foi adoptáu como la [[llingua natural controlada]] de la [http://rewerse.net Rede Europea d'Excelencia REWERSE] (Razonamientu na Web con Regles y Semántiques - ''Reasoning on the Web with Rules and Semantics'').

== Referencies ==
{{llistaref}}

== Ver tamién ==
*[[Procesamientu del llinguaxe natural]]
*[[Representación de la conocencia]]

== Enllaces esternos ==
*[http://attempto.ifi.uzh.ch Project Attempto] (n'inglés)
*[http://www.ics.mq.edu.au/~rolfs/controlled-natural-languages/ Controlled Natural Languages] (n'inglés)
*[http://www.ruleml.org/translator/ TRANSLATOR: A TRANSlator from LAnguage TO Rules] {{Webarchive|url=https://web.archive.org/web/20181011183404/http://www.ruleml.org/translator/ |date=2018-10-11 }} (n'inglés)

{{Tradubot|Attempto Controlled English}}

{{control d'autoridaes}}
[[Categoría:Llingües controlaes]]
[[Categoría:Representación de la conocencia]]
[[Categoría:Llingüística computacional]]
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 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 

 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