Abstract
PENG is a computer-processable controlled natural language designed for writing unambiguous and precise specifications. 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 explicitly. ECOLE, a look-ahead text editor, indicates the restrictions while the specification is written. The controlled lexicon contains domain-specific content words that can be defined by the author on the fly and predefined function words. Specifications written in PENG can be deterministically translated into discourse representations structures to cope with anaphora and presuppositions and also into first-order predicate logic. To test the formal properties of PENG, we reformulated Schubert's steamroller puzzle in PENG, translated the resulting specification via discourse representation structures into first-order predicate logic with equality, and proved the steamroller's conclusion with OTTER, a standard theorem prover.
Original language | English |
---|---|
Title of host publication | Proceedings of the Thirteenth International Workshop on Database and Expert Systems Applications (DEXA 2002) |
Editors | A Min Tjoa, Rol Wagner |
Place of Publication | Los Alamitos, USA |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 228-232 |
Number of pages | 5 |
ISBN (Electronic) | 0769516688 |
ISBN (Print) | 0769516688 |
DOIs | |
Publication status | Published - 2002 |
Event | Third International Workshop on Natural Language and Information Systems - Aix-en-Provence, France Duration: 2 Sep 2002 → 6 Sep 2002 |
Workshop
Workshop | Third International Workshop on Natural Language and Information Systems |
---|---|
City | Aix-en-Provence, France |
Period | 2/09/02 → 6/09/02 |
Keywords
- Application software
- Australia
- Formal languages
- Formal specifications
- Humans
- Logic testing
- Manuals
- Natural languages
- Vocabulary
- Writing