In Pursuit of Decidable 'Logical Form'

Natural language interfaces commonly map to some type of logical form that represents the meaning of the user’s utterance. It is rare however, that this logical form is bona fide logic (e.g. expres ...

[1]  Fei Li,et al.  Constructing an Interactive Natural Language Interface for Relational Databases , 2014, Proc. VLDB Endow..

[2]  Michael Jason Minock,et al.  Modular Generation of Relational Query Paraphrases , 2006 .

[3]  Luke S. Zettlemoyer,et al.  Online Learning of Relaxed CCG Grammars for Parsing to Logical Form , 2007, EMNLP.

[4]  Michael Jason Minock,et al.  C-Phrase: A system for building robust natural language interfaces to databases , 2010, Data Knowl. Eng..

[5]  Yuri Gurevich,et al.  The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.

[6]  Michael Jason Minock,et al.  A Phrasal Approach to Natural Language Interfaces over Databases , 2005, NLDB.

[7]  Christoph Weidenbach,et al.  SPASS Version 3.5 , 2009, CADE.

[8]  Wensheng Wu.  Proactive natural language search engine: tapping into structured data on the web , 2013, EDBT '13.

[9]  Philipp Cimiano,et al.  Porting natural language interfaces between domains: an experimental user study with the ORAKEL system , 2007, IUI '07.

[10]  Dan Flickinger,et al.  Minimal Recursion Semantics: An Introduction , 2005 .

[11]  P. Bernays,et al.  Zum Entscheidungsproblem der mathematischen Logik , 1928 .

[12]  Douglas E. Appelt,et al.  TEAM: An Experiment in the Design of Transportable Natural-Language Interfaces , 1987, Artif. Intell..

[13]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[14]  Raymond J. Mooney,et al.  Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus , 2007, ACL.

[15]  Karen Spärck Jones,et al.  Natural language interfaces to databases , 1990, The Knowledge Engineering Review.

[16]  M ShieberStuart,et al.  The problem of logical-form equivalence , 1993 .

[17]  Michael Jason Minock,et al.  Describing and deriving certain answers over partial databases , 2010, Journal of Intelligent Information Systems.

[18]  Frank Nuessel,et al.  X̄ syntax: a study of phrase structure. Linguistic Inquiry Monograph Two: Ray Jackendoff, MIT Press, Cambridge, Mass., 1977. xii, 249 pp. $11.50 (subscribers to Linguistic Inquiry pay $9.50). , 1979 .

[19]  Oren Etzioni,et al.  Towards a theory of natural language interfaces to databases , 2003, IUI '03.

[20]  E. F. Codd,et al.  Seven Steps to Rendezvous with the Casual User , 1974, IFIP Working Conference Data Base Management.

[21]  Oliver Lemon,et al.  DUDE: A Dialogue and Understanding Development Environment, Mapping Business Process Models to Information State Update Dialogue Systems , 2006, EACL.

[22]  Johan Boye,et al.  Robust parsing and spoken negotiative dialogue with databases , 2008, Natural Language Engineering.