In this article, we describe the architecture, the language and the authoring tool of the PENGASP system. This system supports the writing of non-monotonic specifications in controlled natural language with the help of a web-based predictive text editor. This predictive editor communicates asynchronously with a controlled natural language processor that translates the specification text via discourse representation structures into executable Answer Set Programs (ASP). The controlled natural language processor additionally generates lookahead categories and anaphoric expressions for the author of a specification text, and it provides a paraphrase of the specification that clarifies the interpretation of the text by the machine. The predictive editor is a central component of the PENGASP system; it guides the writing process and displays multiple sets of lookahead categories simultaneously for different possible sentence completions as well as anaphoric expressions, and supports the addition of new content words to the lexicon.
- Answer set programming
- Controlled natural language processing
- Predictive editor
- Web-based authoring tools