Attempto Controlled English (ACE)
arXiv:cmp-lg/9603003
Abstract
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.
13 pages, compressed, uuencoded Postscript, to be presented at CLAW 96, The First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, 26-27 March 1996
References in corpus (1)
Cited by in corpus (5)
- Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
- Knowledge Authoring with Factual English
- Micropublications: a Semantic Model for Claims, Evidence, Arguments and Annotations in Biomedical Communications
- A Brief State of the Art for Ontology Authoring
- "Why did you do that?": Explaining black box models with Inductive Synthesis