Attempto Controlled English

Attempto Controlled English

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 describida por un pequeño conjunto de reglas de interpretación.[1]

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] 
 (2) Cada mujer es un humano.[3] 
 (3) Un hombre es un humano.[4] 
 (4) Un hombre se prueba una nueva corbata. Si la corbata le gusta a su mujer entonces el hombre la compra.[5] 

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.[6] Los DRSs pueden ser traducidas después a otros lenguajes formales, por ejemplo AceRules con varias semánticas,[7] RuleML, OWL,[8] y SWRL. 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 lengua natural controlada de la Red Europea de Excelencia REWERSE (Razonamiento en la Web con Reglas y Semánticas - Reasoning on the Web with Rules and Semantics).

Referencias

  1. Norbert E. Fuchs, Kaarel Kaljurand, Gerold Schneider (2006). «Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces» (PDF). FLAIRS 2006.
  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. Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn (2008). «Discourse Representation Structures for ACE 6.0». {{{títulolibro}}}.
  7. Tobias Kuhn (2007). «AceRules: Executing Rules in Controlled Natural Language» (PDF). First International Conference on Web Reasoning and Rule Systems (RR 2007).
  8. Kaarel Kaljurand, Norbert E. Fuchs (2007). «{{{título}}}» (PDF). OWL: Experiences and Directions (OWLED 2007).

Véase también

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Attempto Controlled English — (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules [cite conference | author = Norbert E. Fuchs, Kaarel… …   Wikipedia

  • Controlled natural language — Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types:… …   Wikipedia

  • Упрощённый технический язык — Упрощённый технический язык  ограниченная версия естественного языка, созданная для достижения следующих задач: упрощение технической документации для понимания; устранение двусмысленности технической документации; упрощение для понимания… …   Википедия

  • ClearTalk — is a controlled natural language a kind of a formal language for expressing information that is designed to be both human readable (being based on English) and easily processed by a computer. Anyone who can read English can immediately read… …   Wikipedia

  • Software development process — Activities and steps Requirements Specification …   Wikipedia

  • Ace (disambiguation) — An ace is a playing card.Ace may also refer to:Film and TV*ACE Awards, later renamed the CableACE Awards * Ace Lightning , a 2002 2004 teenage drama * Ultraman Ace , a 1972 tokusatsu seriesGames* Ace Attorney , a court simulation game * Ace… …   Wikipedia

  • Semantisches Wiki — Ein Semantisches Wiki ist ein Wiki, welches ein Modell des in ihm gespeicherten Wissens hat. Normale Wikis verwenden strukturierten Text und nicht typisierte Hyperlinks. Semantische Wikis ermöglichen, Wissen über Seiten (Metadaten) und ihre… …   Deutsch Wikipedia

  • Proceso para el desarrollo de software — Un proceso para el desarrollo de software, también denominado ciclo de vida del desarrollo de software es una estructura aplicada al desarrollo de un producto de software. Hay varios modelos a seguir para el establecimiento de un proceso para el… …   Wikipedia Español

  • Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… …   Wikipedia

  • Oracle Policy Automation — Developer(s) Oracle Stable release 10.1 / March 24, 2010 Operating system Java .NET Type Collaborative software …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”