Verifying context-sensitive treebanks and heuristic parses in polynomial time

A polyadic dynamic logic is introduced in which a model-theoretic version of nonlocal multicomponent tree-adjoining grammar can be formulated. It is shown to have a low polynomial time model checking procedure. This means that treebanks for nonlocal MCTAG, incl. all weaker extensions of TAG, can be efficiently corrected and queried. Our result is extended to HPSG treebanks (with some qualifications). The model checking procedures can also be used in heuristics-based parsing.

[1]  Aravind K. Joshi,et al.  Long-Distance Scrambling and Tree Adjoining Grammars , 1991, EACL.

[2]  Mike Reape,et al.  A Feature Value Logic with Intensionality, Nonwellfoundedness and Functional and Relational Dependencies , 1994 .

[3]  Martin Lange,et al.  Model checking propositional dynamic logic with all extras , 2006, J. Appl. Log..

[4]  Aravind K. Joshi,et al.  Tree-Adjoining Grammars , 1997, Handbook of Formal Languages.

[5]  Anders Søgaard,et al.  Polyadic Dynamic Logics for HPSG Parsing , 2009, J. Log. Lang. Inf..

[6]  Eva Hajicová,et al.  The Current Status of the Prague Dependency Treebank , 2001, TSD.

[7]  Joakim Nivre.  Constraints on Non-Projective Dependency Parsing , 2006, EACL.

[8]  Timm Lichte,et al.  1 An MCTAG with Tuples for Coherent Constructions in German , 2007 .

[9]  Peter S. Landweber,et al.  Three Theorems on Phrase Structure Grammars of Type 1 , 1963, Inf. Control..

[10]  Edith Hemaspaandra,et al.  A modal perspective on the computational complexity of attribute value grammar , 1993, J. Log. Lang. Inf..

[11]  Sean Wallis,et al.  Exploiting fuzzy tree fragment queries in the investigation of parsed corpora , 2000 .

[12]  Petya Osenova,et al.  Design and Implementation of the Bulgarian HPSG-based Treebank , 2004 .

[13]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[14]  Matthias Buch-Kromann.  Computing Translation Units and Quantifying Parallelism in Parallel Dependency Treebanks , 2007, LAW@ACL.

[15]  Stephan Kepser,et al.  Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time , 2004, J. Log. Lang. Inf..

[16]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[17]  Frank Richter,et al.  A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar , 2000 .

[18]  Marco Kuhlmann,et al.  Mildly Context-Sensitive Dependency Languages , 2007, ACL.

[19]  Laura Kallmeyer,et al.  Tree-local MCTAG with Shared Nodes: Word Order Variation in German and Korean , 2004, TAG+.

[20]  Wolfgangmaier Andanderssøgaard,et al.  Treebanks and Mild Context-Sensitivity , 2008 .

[21]  Stephen J. Hegner.  A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions , 1996, LACL.

[22]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[23]  Lucas Champollion,et al.  Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete , 2011, J. Log. Lang. Inf..