| dbo:abstract
|
- Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and restricted semantics described by a small set of construction and interpretation rules. It has been under development at the University of Zurich since 1995. In 2013, ACE version 6.7 was announced. ACE can serve as knowledge representation, specification, and query language, and is intended for professionals who want to use formal notations and formal methods, but may not be familiar with them. Though ACE appears perfectly natural – it can be read and understood by any speaker of English – it is in fact a formal language. ACE and its related tools have been used in the fields of software specifications, theorem proving, text summaries, ontologies, rules, querying, medical documentation and planning. Here are some simple examples: 1.
* Every woman is a human. 2.
* A woman is a human. 3.
* A man tries-on a new tie. If the tie pleases his wife then the man buys it. ACE construction rules require that each noun be introduced by a determiner (a, every, no, some, at least 5, ...). Regarding the list of examples above, ACE interpretation rules decide that (1) is interpreted as universally quantified, while (2) is interpreted as existentially quantified. Sentences like "Women are human" do not follow ACE syntax and are consequently not valid. Interpretation rules resolve the anaphoric references in (3): the tie and it of the second sentence refer to a new tie of the first sentence, while his and the man of the second sentence refer to a man of the first sentence. Thus an ACE text is a coherent entity of anaphorically linked sentences. The Attempto Parsing Engine (APE) translates ACE texts unambiguously into discourse representation structures (DRS) that use a variant of the language of first-order logic. A DRS can be further translated into other formal languages, for instance AceRules with various semantics, OWL, and SWRL. Translating an ACE text into (a fragment of) first-order logic allows users to reason about the text, for instance to verify, to validate, and to query it. (en)
- 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. Aquí hay algunos ejemplos simples. Los ejemplos están en español para simplificar la explicación. Los ejemplos originales están en inglés, y se muestran como referencias: 1.
* * Mujeres son humanas. 2.
* Cada mujer es un humano. 3.
* Un hombre es un humano. 4.
* Un hombre se prueba una nueva corbata. Si la corbata le gusta a su mujer entonces el hombre la compra. 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, ...). Esto excluye (1), indicado con * precediendo la oración. Las reglas de interpretación de ACE deciden que (2) sea interpretada como cuantificada universalmente, mientras que (3) es interpretada como cuantificada existencialmente. Otras reglas de interpretación resuelven las referencias anafóricas en (4): la corbata y la de la segunda oración refieren a una nueva corbata de la primera oración, mientras que su y el hombre de la segunda oración refieren a un hombre de la primera oración. Así un texto ACE es una entidad coherente de oraciones ligadas anafóricamente. ACE puede servir como representación del conocimiento, especificación, y lenguaje de consulta, y está pensado para profesionales que quieren usar notaciones formales y métodos formales, pero pueden no estar familiarizados con ellos. Si bien ACE parece perfectamente natural — puede ser leído y comprendido por cualquiera — es de hecho un lenguaje formal. El Attempto Parsing Engine (APE) (Motor de Análisis Attempto) traduce textos ACE sin ambigüedad a estructuras de representación del discurso (DRS) que usan una variante del lenguaje de lógica de primer orden. Los DRSs pueden ser traducidas después a otros lenguajes formales, por ejemplo AceRules con varias semánticas, RuleML Archivado el 11 de octubre de 2018 en Wayback Machine., OWL, y . 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. ACE y sus herramientas relacionadas han sido usados en las áreas de especificación de software, demostración de teoremas, resumen de textos, ontologías, reglas, consulta, documentación médica, y planificación. En 2004, ACE fue adoptado como la de la Red Europea de Excelencia REWERSE (Razonamiento en la Web con Reglas y Semánticas - Reasoning on the Web with Rules and Semantics). (es)
|
| rdfs:comment
|
- Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and restricted semantics described by a small set of construction and interpretation rules. It has been under development at the University of Zurich since 1995. In 2013, ACE version 6.7 was announced. ACE and its related tools have been used in the fields of software specifications, theorem proving, text summaries, ontologies, rules, querying, medical documentation and planning. Here are some simple examples: (en)
- 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. Aquí hay algunos ejemplos simples. Los ejemplos están en español para simplificar la explicación. Los ejemplos originales están en inglés, y se muestran como referencias: (es)
|
