Computational Semantics with Functional Programming

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

[1]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[2]  Max J. Cresswell,et al.  Formal philosophy, selected papers of richard montague , 1976 .

[3]  T. Reinhart.  The theta system: syntactic realization of verbal concepts , 2000 .

[4]  E. Keenan.  Beyond the frege boundary , 1992 .

[5]  Irene Heim,et al.  Presupposition Projection and the Semantics of Attitude Verbs , 1992, J. Semant..

[6]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[7]  Rolf Backofen,et al.  A first-order axiomatization of the theory of finite trees , 1995, J. Log. Lang. Inf..

[8]  Charles Kisseberth,et al.  Restricting Multi-level Constraint Evaluation: Opaque Rule Interaction in Yawelmani Vowel Harmony , 1995 .

[9]  C. F. M. Vermeulen,et al.  Sequence semantics for dynamic predicate logic , 1993, J. Log. Lang. Inf..

[10]  Jan van Eijck,et al.  Parser Combinators for Extraction , 2003 .

[11]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[12]  Jeffrey Gruber.  Studies in lexical relations , 1965 .

[13]  Staffan Hellberg,et al.  The morphology of present-day Swedish , 1978 .

[14]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[15]  David R. Dowty.  On the Semantic Content of the Notion of ‘Thematic Role’ , 1989 .

[16]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[17]  Jan van Eijck,et al.  Incremental Dynamics , 2001, J. Log. Lang. Inf..

[18]  Stanley Peters,et al.  Quantifiers in language and logic , 2006 .

[19]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

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

[21]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[22]  Lawrence S. Moss,et al.  Completeness Theorems for Syllogistic Fragments , 2007 .

[23]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[24]  Reinhard Muskens,et al.  A compositional discourse representation theory , 1994 .

[25]  Tarmo Uustalu,et al.  Comonadic Notions of Computation , 2008, CMCS.

[26]  C. Barker.  Continuations and the Nature of Quantification , 2002 .

[27]  Robin Hayes Cooper,et al.  MONTAGUE'S SEMANTIC THEORY AND TRANSFORMATIONAL SYNTAX. , 1975 .

[28]  Daniele Nardi,et al.  An Introduction to Description Logics , 2003, Description Logic Handbook.

[29]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[30]  Paul Hudak,et al.  A gentle introduction to Haskell , 1992, SIGP.

[31]  György E. Révész.  Introduction to formal languages , 1983 .

[32]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[33]  Tanya Reinhart,et al.  The syntactic domain of anaphora , 1976 .

[34]  H.L.W. Hendriks,et al.  Studied flexibility : categories and types in syntax and semantics , 1993 .

[35]  David I. Beaver,et al.  The Optimization of Discourse Anaphora , 2004 .

[36]  Paul Portner,et al.  Formal Semantics: The Essential Readings , 2002 .

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

[38]  Jan van Eijck,et al.  Representing Discourse in Context , 1997, Handbook of Logic and Language.

[39]  Jan van Eijck,et al.  Sequentially Indexed Grammars , 2008, J. Log. Comput..

[40]  J. A. Arlow,et al.  The dynamics of interpretation. , 1987, The Psychoanalytic quarterly.

[41]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[42]  John Launchbury,et al.  Constructing Natural Language Interpreters in a Lazy Functional Language , 1989, Comput. J..

[43]  John C. Reynolds,et al.  The discoveries of continuations , 1993, LISP Symb. Comput..

[44]  Henk Zeevat,et al.  A compositional approach to discourse representation theory , 1989 .

[45]  Gerald J. Sussman,et al.  Structure and Interpretation of Computer Programs, Second Edition , 1996 .

[46]  Gilad Ben-Avi,et al.  The Semantics of Intensionalization , 2007 .

[47]  H. Kamp.  A Theory of Truth and Semantic Representation , 2008 .

[48]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[49]  Ian Pratt-Hartmann,et al.  Fragments of Language , 2004, J. Log. Lang. Inf..

[50]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[51]  Mats Rooth,et al.  Generalized Conjunction and Type Ambiguity , 2008 .

[52]  H. Alshawi,et al.  The Core Language Engine , 1994 .

[53]  Philip Wadler,et al.  Packrat parsing:: simple, powerful, lazy, linear time, functional pearl , 2002, ICFP '02.

[54]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[55]  Stuart M. Shieber,et al.  An Introduction to Unification-Based Approaches to Grammar , 1986, CSLI Lecture Notes.

[56]  Brian A. Davey,et al.  Introduction to Lattices and Order: Frontmatter , 2002 .

[57]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[58]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[59]  Ray Jackendoff,et al.  Semantic Interpretation in Generative Grammar , 1972 .

[60]  Johan Jeuring,et al.  Grammars and Parsing , 2001 .

[61]  S. Shieber,et al.  Linguistic side effects , 2005 .

[62]  Jan Łukasiewicz.  Aristotle's Syllogistic From the Standpoint of Modern Formal Logic , 1957 .

[63]  J. Hintikka.  On denoting what? , 2005, Synthese.

[64]  F. N. L. Poynter,et al.  The Story of My Life , 1885, Atlanta Medical and Surgical Journal (1884).

[65]  Claire Gardent,et al.  Talking About Trees , 1993, EACL.

[66]  Jan van Eijck,et al.  The Epistemics of Presupposition Projection , 2007 .

[67]  Scott Weinstein,et al.  Centering: A Framework for Modeling the Local Coherence of Discourse , 1995, CL.

[68]  James Rogers,et al.  A descriptive approach to language-theoretic complexity , 1998 .

[69]  A. vanWijngaarden.  Recursive definition of syntax and semantics : (proceedings ifip working conference on formal language description languages, vienna 1966, p 13-24) , 1966 .

[70]  Christina Unger,et al.  Interrogation in Dynamic Epistemic Logic , 2008 .

[71]  Catherine Ringen,et al.  Variation in Finnish Vowel Harmony: An OT Account , 1999 .

[72]  T. Reinhart.  Anaphora and semantic interpretation , 1983 .

[73]  Reinhard Muskens,et al.  A relational formulation of the theory of types , 1989 .

[74]  Richard A. Frost,et al.  Realization of natural language interfaces using lazy functional programming , 2006, CSUR.

[75]  John Robert Ross,et al.  Constraints on variables in syntax , 1967 .

[76]  Simon Thompson,et al.  Haskell: The Craft of Functional Programming , 1996 .

[77]  Noam Chomsky.  A minimalist program for linguistic theory , 1992 .

[78]  Walker Percy.  Lost in the Cosmos: The Last Self-Help Book , 1983 .

[79]  Peter Geach,et al.  Reference and Generality: An Examination of Some Medieval and Modern Theories , 1965 .

[80]  William B. Bean,et al.  Studies in Words. , 1964 .

[81]  Michael Spivey,et al.  Embedding PROLOG in HASKELL , 1999 .

[82]  Nicholas Asher,et al.  BUILDRS: An Implementation of DR Theory and LFG , 1986, COLING.

[83]  I. I. N. Kamp.  Combining Montague Semantics and Discourse Representation , 1996 .

[84]  Graham Hutton,et al.  Higher-order functions for parsing , 1992, Journal of Functional Programming.

[85]  Roland Hausser,et al.  Continuations in Natural Language , 1989 .

[86]  Wiebke Wagner,et al.  Steven Bird, Ewan Klein and Edward Loper: Natural Language Processing with Python, Analyzing Text with the Natural Language Toolkit , 2010, Lang. Resour. Evaluation.

[87]  A. Church.  An Unsolvable Problem of Elementary Number Theory , 1936 .

[88]  Jeroen Groenendijk,et al.  On the semantics of questions and the pragmatics of answers , 1984 .

[89]  Siobhan Chapman.  Logic and Conversation , 2005 .

[90]  Candace L. Sidner,et al.  Attention, Intentions, and the Structure of Discourse , 1986, CL.

[91]  David H. D. Warren,et al.  Parsing as Deduction , 1983, ACL.

[92]  Kees van Deemter,et al.  Semantic ambiguity and underspecification , 1996 .

[93]  J. Altham.  Naming and necessity. , 1981 .

[94]  Jan van Eijck.  Normal Forms for Characteristic Functions on n-ary Relations , 2005, J. Log. Comput..

[95]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[96]  Chris Hankin,et al.  An Introduction to Lambda Calculi for Computer Scientists , 2004 .

[97]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[98]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[99]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

[100]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[101]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[102]  Graham Hutton,et al.  Programming in Haskell , 2007 .

[103]  Jan van Eijck,et al.  On the proper treatment of context in NL , 1999, CLIN.

[104]  Jan van Eijck,et al.  DEMO — A Demo of Epistemic Modelling , 2007 .

[105]  Christian Barker,et al.  Explaining Crossover and Superiority as Left-to-right Evaluation , 2006 .

[106]  László Dezsö,et al.  Universal Grammar , 1981, Certainty in Action.

[107]  Reinhard Muskens.  Intensional Models for the Theory of Types , 2007, J. Symb. Log..

[108]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[109]  C. Barker,et al.  Donkey anaphora is in-scope binding , 2008 .

[110]  Albert Visser,et al.  Dynamic Bracketing and Discourse Representation , 1996, Notre Dame J. Formal Log..