How to Write a Document in Controlled Natural Language.
Rolf Schwitter, Anna Ljungberg · 2002
This paper shows how a computer-processable document can be written in a controlled natural language (PENG) with the help of a sophisticated lookahead editor (ECOLE). The editor provides syntactic hints after each word form entered and indicates how the author can continue the text. This way the author does not need to learn or to remember the restrictions of the controlled language. PENG documents are automatically translated into first-order logic via discourse representation structures. These formal entities can be checked by a theorem prover for inconsistency or consistency can be revealed by a model builder.