An Update on PENG Light

This paper presents an update on PENG Light, a lightweight and portable controlled natural language processor that can be used to translate a well-defined subset of English unambiguously into a formal target language. We illustrate by example of a Firefox extension that provides a simple interface to the controlled natural language processor how web pages can be annotated with textual information written in controlled natural language and how these annotations can be translated incrementally into first-order logic. We focus in particular on technical aspects of the controlled language processor and show in detail how look-ahead information that can be used to guide the writing process of the author is generated during the parsing process. Additionally, we discuss what kind of user interaction is required for processing unknown content words.

[1]  Rolf Schwitter,et al.  Working for Two: A Bidirectional Grammar for a Controlled Natural Language , 2008, Australasian Conference on Artificial Intelligence.

[2]  Norbert E. Fuchs,et al.  Attempto Controlled English - Not Just Another Logic Specification Language , 1998, LOPSTR.

[3]  David J. Israel,et al.  Reading to Learn: An Investigation into Language Understanding , 2007, AAAI Spring Symposium: Machine Reading.

[4]  Chris Mellish,et al.  Natural Language Processing in PROLOG , 1989 .

[5]  Tomek Strzalkowski,et al.  From Discourse to Logic , 1991 .

[6]  Stuart M. Shieber,et al.  Prolog and Natural-Language Analysis , 1987 .

[7]  Ralf Schwitter,et al.  ECOLE: a look-ahead editor of controlled language , 2003, EAMT.

[8]  Tobias Kuhn,et al.  Writing Support for Controlled Natural Languages , 2008, ALTA.

[9]  Geoff Sutcliffe,et al.  The TPTP Problem Library , 1994, Journal of Automated Reasoning.

[10]  Harry R. Tennant,et al.  Talk to Your Semantic Web , 2005, IEEE Internet Comput..

[11]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[12]  Rolf Schwitter,et al.  English as a formal specification language , 2002, Proceedings. 13th International Workshop on Database and Expert Systems Applications.

[13]  Peter Clark,et al.  Acquiring and Using World Knowledge Using a Restricted Subset of English , 2005, FLAIRS Conference.

[14]  Neville Ryant,et al.  A large-scale classification of English verbs , 2008, Lang. Resour. Evaluation.

[15]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

[16]  Gerald Gazdar,et al.  Natural Language Processing in PROLOG: An Introduction to Computational Linguistics , 1989 .

[17]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[18]  Martin Kay,et al.  Algorithm schemata and data structures in syntactic processing , 1986 .

[19]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[20]  Kaarel Kaljurand,et al.  Attempto Controlled English for Knowledge Representation , 2008, Reasoning Web.

[21]  Chris Mellish,et al.  Natural Language Processing in Pop-11: An Introduction to Computational Linguistics , 1989 .

[22]  Tobias Kuhn.  AceWiki: A Natural and Expressive Semantic Wiki , 2008, ArXiv.

[23]  Fred J. Damerau,et al.  A technique for computer detection and correction of spelling errors , 1964, CACM.

[24]  Peter Baumgartner,et al.  Hyper Tableaux with Equality , 2007, CADE.

[25]  Jerry R. Hobbs,et al.  Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned , 2007, AAAI.

[26]  M.McGee Wood,et al.  Natural language processing in Prolog , 1990 .