Working with Defaults in a Controlled Natural Language

In this paper, we discuss how statements about defaults and various forms of exceptions to them can be incorporated into an existing controlled natural language. We show how these defaults and exceptions are translated and represented in the answer set programming paradigm in order to support automated reasoning.

[1]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[2]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[3]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[4]  Rolf Schwitter,et al.  The jobs puzzle: Taking on the challenge via controlled natural language processing , 2013, Theory and Practice of Logic Programming.

[5]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: Creating a Knowledge Base , 2014 .

[6]  Jan van Eijck,et al.  Discourse Representation in Context , 2011 .

[7]  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.

[8]  David I. Beaver,et al.  The Handbook of Logic and Language , 1997 .

[9]  Thomas Eiter,et al.  Answer Set Programming: A Primer , 2009, Reasoning Web.

[10]  Rolf Schwitter,et al.  Answer Set Programming via Controlled Natural Language Processing , 2012, CNL.

[11]  Martin Gebser,et al.  Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.

[12]  Nicholas Asher,et al.  Generics and Defaults , 1997, Handbook of Logic and Language.

[13]  Wolfgang Faber.  Answer Set Programming , 2013, Reasoning Web.

[14]  Tobias Kuhn,et al.  A Survey and Classification of Controlled Natural Languages , 2014, CL.

[15]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach , 2014 .

[16]  Colin White,et al.  An Update on PENG Light , 2009, ALTA.