Attempto Controlled English

De Wikipedia, le encyclopedia libere
Saltar a: navigation, cercar

Attempto Controlled English (ACE) (Anglese Controlate Attempto) es un linguage natural controlate, i.e. un subensemble del anglese standard con un syntaxe restringite e un semantica restringite describite per un parve ensemble de regulas de interpretation[1].

Hic il ha alicun simple exemplos. Le exemplos es in interlingua pro clarificar le explication. Le exemplos original es in anglese, e illos es monstrate como referentias:

 (1) * Feminas es human. [2]
 (2) Cata femina es un human. [3]
 (3) Un homine es un human. [4]
 (4) Un homine se proba un nove cravata. Si le cravata place su uxor tunc le homine lo eme. [5]

Le regulas de construction de ACE require que cata substantivo es introducite per un determinator (un, cata, nulle, alicun, al minus 5, ...). Isto exclude (1), indicate con * precedente le phrase. Le regulas de interpretation de ACE decide que (2) es interpretate como quantificate universalmente, durante que (3) es interpretate como quantificate existentialmente. Altere regulas de interpretation resolve le referentias anaphoric in (4): le cravata e lo del secunde phrase refere a un nove cravata del prime phrase, durante que su e le homine del secunde phrase refere a un homine del prime phrase. Assi un texto ACE es un entitate coherente de phrases ligate anaphoricamente.

ACE pote servir como representation del cognoscentia, specification, e linguage de consulta, e es intendite pro professionales que vole usar notationes formal e methodos formal, sed pote non esser familiar con illos. Ben que ACE appare perfectemente natural — illo pote esser legite e comprehendite per qualcunque — illo es in facto un linguage formal.

Le Attempto Parsing Engine (APE) (Motor de Analyse Attempto) traduce textos ACE sin ambiguitate a structuras de representation del discurso (DRS) que usa un variante del linguage de logica de prime ordine[6]. DRSs pote esser depost traducite a altere linguage formal, per exemplo AceRules con varie semanticas[7], RuleML, OWL[8], e SWRL. Traducer DRSs al linguage standard de logica de prime ordine permitte al usatores rationar super textos ACE, per exemplo pro verificar los, pro validar los, e pro consultar los.

ACE e su utensiles relatate ha essite usate in le campos de specificationes de software, proba de theoremas, summario de textos, ontologias, regulas, consulta, documentation medic, e planamento. In 2004, ACE esseva adoptate como le linguage natural controlate del Rete EU de Excellentia REWERSE (Rationamento super le Web con Regulas e Semanticas - Reasoning on the Web with Rules and Semantics).

Referentias[modificar | modificar fonte]

  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" (PDF). Technical Report ifi-2008.02, Department of Informatics, University of Zurich. 
  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). "Verbalizing OWL in Attempto Controlled English" (PDF). OWL: Experiences and Directions (OWLED 2007). 

Ligamines externe[modificar | modificar fonte]