Recent Progress on Monotonicity

This paper serves two purposes. It is a summary of much work concerning formal treatments of monotonicity and polarity in natural language, and it also discusses connections to related work on exclusion relations, and connections to psycholinguistics and computational linguistics. The second part of the paper presents a summary of some new work on a formal Monotonicity Calculus.

[1]  Lawrence S. Moss,et al.  A Complete Calculus of Monotone and Antitone Higher-Order Functions , 2013, TACL.

[2]  F. Zwarts.  Negatief polaire uitdrukkingen I , 1981 .

[3]  Christopher D. Manning,et al.  An extended model of natural logic , 2009, IWCS.

[4]  J. Benthem.  A brief history of natural logic , 2008 .

[5]  Jackie Chi Kit Cheung,et al.  Unsupervised Detection of Downward-Entailing Operators By Maximizing Classification Certainty , 2012, EACL.

[6]  N. Chater,et al.  The Probability Heuristics Model of Syllogistic Reasoning , 1999, Cognitive Psychology.

[7]  Cristian Danescu-Niculescu-Mizil,et al.  Don’t ‘Have a Clue’? Unsupervised Co-Learning of Downward-Entailing Operators. , 2010, ACL.

[8]  Emmanuel Chemla,et al.  Modularity and intuitions in formal semantics: the case of polarity items , 2011 .

[9]  N. Chater,et al.  The probabilistic approach to human reasoning , 2001, Trends in Cognitive Sciences.

[10]  C. Condoravdi,et al.  Computing relative polarity for textual inference , 2006 .

[11]  Bart Geurts,et al.  Monotonicity and Processing Load , 2005, J. Semant..

[12]  Thomas F. Icard.  Inclusion and Exclusion in Natural Language , 2012, Stud Logica.

[13]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[14]  Jan van Eijck,et al.  Natural Logic for Natural Language , 2007, TbiLLC.

[15]  Cristian Danescu-Niculescu-Mizil,et al.  Without a ’doubt’? Unsupervised Discovery of Downward-Entailing Operators , 2009, NAACL.

[16]  Yorick Wilks,et al.  Natural language inference. , 1973 .

[17]  David R. Dowty.  The Role of Negative Polarity and Concord Marking in Natural Language Reasoning , 1994 .

[18]  Lawrence S. Moss.  The Soundness of Internalized Polarity Marking , 2012, Stud Logica.

[19]  Bart Geurts,et al.  Reasoning with quantifiers , 2003, Cognition.

[20]  Victor Sanchez,et al.  Studies on Natural Logic and Categorial Grammar , 1991 .

[21]  Paul Portner,et al.  Semantics: An International Handbook of Natural Language Meaning , 2011 .

[22]  L. M. Faltz,et al.  Boolean semantics for natural language , 1984 .

[23]  Nissim Francez,et al.  A ‘Natural Logic’ inference system using the Lambek calculus , 2006, J. Log. Lang. Inf..

[24]  Anna Szabolcsi,et al.  The Effect of Negative Polarity Items on Inference Verification , 2008, J. Semant..

[25]  Ido Dagan,et al.  The Third PASCAL Recognizing Textual Entailment Challenge , 2007, ACL-PASCAL@ACL.