Quantitative Constraint Logic Programming for Weighted Grammar Applications

Constraint logic grammars provide a powerful formalism for expressing complex logical descriptions of natural language phenomena in exact terms. Describing some of these phenomena may, however, require some form of graded distinctions which are not provided by such grammars. Recent approaches to weighted constraint logic grammars attempt to address this issue by adding numerical calculation schemata to the deduction scheme of the underlying CLP framework.

[1]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  M. H. van Emden,et al.  Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..

[3]  Didier Dubois,et al.  Towards Possibilistic Logic Programming , 1991, ICLP.

[4]  Laks V. S. Lakshmanan,et al.  An Epistemic Foundation for Logic Programming with Uncertainty , 1994, FSTTCS.

[5]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[6]  Steven P. Abney.  Stochastic Attribute-Value Grammars , 1996, CL.

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

[8]  Thilo Gotz,et al.  Compiling HPSG constraint grammars into logic programs , 1995 .

[9]  Gert Smolka,et al.  A Feature Logic with Subsorts , 1988, LILOG-Report.

[10]  Michael Dorna,et al.  CUF - A Formalism for Linguistic Knowledge Representation , 1993 .

[11]  Taylor L. Booth,et al.  Applying Probability Measures to Abstract Languages , 1973, IEEE Transactions on Computers.

[12]  V. S. Subrahmanian.  On the Semantics of Quantitative Logic Programs , 1987, SLP.

[13]  Gregor Erbach,et al.  Bottom-up earley deduction for preference-driven natural language processing , 1995 .

[14]  Gert Smolkaz,et al.  Deenite Relations over Constraint Languages , 1988 .

[15]  Laks V. S. Lakshmanan,et al.  Probabilistic Deductive Databases , 1994, ILPS.

[16]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[17]  Frank Keller,et al.  How Do Humans Deal with Ungrammatical Input? Experimental Evidence and Computational Modelling , 1996, KONVENS.

[18]  Paul John King,et al.  An Expanded Logical Formalism for Head-Driven Phrase Structure Grammar , 1994 .

[19]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[20]  V. S. Subrahmanian,et al.  Probabilistic Logic Programming , 1992, Inf. Comput..

[21]  Andreas Eisele,et al.  A Comprehensive Unication-Based Grammar Formalism , 1991 .