PENG Processable ENGlish

Overview

PENG is a computer-processable controlled natural language designed for writing unambiguous and precise specifications text. PENG covers a strict subset of standard English and is precisely defined by a controlled grammar and a controlled lexicon. In contrast to other controlled languages, the author does not need to know the grammatical restrictions of the language explicitly. An intelligent authoring tool indicates the restrictions while the specification is written. The controlled lexicon consists of domain-specific content words that can be defined by the author on the fly and predefined function words that build the structural backbone of the language. Texts written in PENG can be deterministically parsed and translated into discourse representations structures and also into first-order predicate logic for theorem proving.

Getting Further Information

To learn more about PENG, check out the following background information:

• New: PENG Online
• PENG in a Nutshell
• Writing in PENG
• Processing a PENG Specification
• Example Specification
• Prove it with OTTER
• People Behind PENG
• A number of papers are available via Rolf Schwitter's home page.

---

© Rolf Schwitter, Macquarie University, Australia
Last modified: 28th February 2007