Steuerung der Inferenz in der Diskursverarbeitung

SummarySemantic interpretation is an essential component of natural language understanding, which draws on extremely efficient language-based inference techniques. Such techniques are still lacking in computational systems for natural language processing. We have investigated specialized representation formalisms and suitable inference techniques that meet some of these desiderata. We have developed higher-order inference procedures to accurately represent linguistic ambiguities in terms of underspecification, and show how these procedures can be guided by information from other linguistic strata.ZusammenfassungSemantische Auswertung ist in der menschlichen Sprachverarbeitung unabdingbar und wird mittels sehr effizienter Inferenztechniken ausgeführt. In der maschinellen Sprachverarbeitung dagegen fehlen vergleichbare Verfahren. Wir haben spezialisierte Repräsentationsformalismen und auch geeignete Inferenzmethoden untersucht, die hier eine Verbesserung darstellen. Es wurden höherstufige Inferenzprozeduren zur paßgenauen Darstellung sprachlicher Mehrdeutigkeiten durch Unterspezifikation erarbeitet und Möglichkeiten aufgezeigt, diese durch Information aus anderen sprachlichen Ebenen zu steuern.

[1]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[2]  Michael Kohlhase,et al.  Dynamic Lambda Calculus , 1999 .

[3]  K. Vijay-Shanker,et al.  Using Descriptions of Trees in a Tree Adjoining Grammar , 1992, Comput. Linguistics.

[4]  W. Bibel,et al.  Automated deduction : a basis for applications , 1998 .

[5]  Claire Gardent,et al.  Computing Parallelism in Discourse , 1997, IJCAI.

[6]  Claire Gardent,et al.  Focus and Higher-Order Unification , 1996, COLING.

[7]  Claire Gardent,et al.  Higher-Order Coloured Unification and Natural Language Semantics , 1996, ACL.

[8]  Joachim Niehren,et al.  On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting , 1997, CADE.

[9]  Carl Vogel,et al.  Proceedings of the 16th International Conference on Computational Linguistics , 1996, COLING 1996.

[10]  Claire Gardent,et al.  Corrections and Higher-Order Unification , 1996, KONVENS.

[11]  Stuart M. Shieber,et al.  Ellipsis and higher-order unification , 1991 .

[12]  Johan Bos,et al.  A compositional DRS-based formalism for NLP applications , 1994 .

[13]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[14]  Jerry R. Hobbs,et al.  An Algorithm for Generating Quantifier Scopings , 1987, CL.

[15]  Claire Gardent,et al.  Sloppy Identity , 1997, ArXiv.

[16]  Joachim Niehren,et al.  A Uniform Approach to Underspecification and Parallelism , 1997, ACL.

[17]  Stephen Pulman,et al.  Higher Order Unification and the Interpretation of Focus , 1997 .