Processable English: The Theory Behind the PENG System

Abstract

This report describes the theoretical underpinnings of the PENG system. Designed by Rolf Schwitter, Marc Tilbrook, et al. at the Centre for Language Technology at Macquarie University, the system incorporates a text editor where authors write text in a controlled language called PENG. Authors of PENG text do not need to remember the restrictions placed on the language, since the PENG text editor guides the writing process. It does this by indicating the possible sentence constructs allowable from the current input. A controlled language processor translates PENG text to a logical theory which can then be checked for consistency and informativity, and may also be used for question-answering by third-party reasoning services. Although PENG is still a prototype, and has a number of issues, the system shows potential as a useful tool.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2009
Accession Number
ADA515408

Entities

People

  • Kerry Trentelman

Organizations

  • Defence Science and Technology Group

Tags

Communities of Interest

  • C4I
  • Space

DTIC Thesaurus Topics

  • Artificial Intelligence Computing
  • Automata Theory
  • Computational Linguistics
  • Computational Science
  • Computer Languages
  • Computer Science
  • Consistency
  • Context Free Grammars
  • Formal Languages
  • Grammars
  • Intelligence Analysis
  • Language
  • Linguistics
  • Natural Language Processing
  • Natural Languages
  • Programming Languages
  • Standards

Fields of Study

  • Computer science

Readers

  • Asian Economic Studies
  • Computational Linguistics
  • Computer Science.