Attempto Controlled English
Attempto Controlled English (ACE) (Anglese Controlate Attempto) es un linguage natural controlate, i.e. un subinsimul del anglese standard con un syntaxe restringite e un semantica restringite describite per un parve insimul de regulas de interpretation[1].
| Attempto Controlled English | |
|---|---|
| instantia de: | controlled language[*] |
| Phylogenese: |
|
| Statuto official | |
| Codices de position | |
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 humano. [3] (3) Un homine es un humano. [4] (4) Un homine se proba un nove cravata. Si le cravata place a su uxor alora le homine lo compra. [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 concipite pro professionales qui vole usar notationes formal e methodos formal, sed pote non esser familiar con illos. Ben que ACE pare 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 depost esser traducite a un altere linguage formal, per exemplo AceRules con varie semanticas[7], RuleML Archived 2018-10-11 at the Wayback Machine, 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 Archived 2018-12-06 at the Wayback Machine (Rationamento super le Web con Regulas e Semanticas - Reasoning on the Web with Rules and Semantics).
Referentias
modificar- ↑ 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.
- ↑ * Women are human.
- ↑ Every woman is a human.
- ↑ A man is a human.
- ↑ A man tries-on a new tie. If the tie pleases his wife then the man buys it.
- ↑ 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.
- ↑ Tobias Kuhn (2007). "AceRules: Executing Rules in Controlled Natural Language" (PDF). First International Conference on Web Reasoning and Rule Systems (RR 2007).
- ↑ Kaarel Kaljurand, Norbert E. Fuchs (2007). "Verbalizing OWL in Attempto Controlled English" (PDF). OWL: Experiences and Directions (OWLED 2007).