A ‘Natural Logic’ inference system using the Lambek calculus

By A. Zamansky, N. Francez, Yoad Winter. 2006

29 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Natural Language Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Natural Language Processing

Citations in the corpus

Flexible Generation of Natural Language Deductions (2021, methodology): “Paraphrases are generated using a version of the PEGASUS model (Zhang et al., 2020) ﬁne-tuned for paraphrasing.”
Natural Language Inference with Monotonicity (2019, background): “Speciﬁcally, we continue work on order-based approaches to natural language inference going back to Fyodorov et al. (2003) and Zamansky et al. (2006).”
Natural Logic for Textual Inference (2007, background): “A small current of theoretical work has continued up to the present, for example (Zamansky et al., 2006).”
Can Neural Networks Understand Monotonicity Reasoning? (2019, methodology): “We collected 1,184 examples from 11 linguistics publications (Barwise and Cooper, 1981; Hoeksema, 1986; Heim and Kratzer, 1998; Bonevac et al., 1999; Fyodorov et al., 2003; Geurts, 2003; Geurts and van der Slik, 2005; Zamansky et al., 2006; Szabolcsi et al., 2008; Winter, 2016; Denic et al., 2019).”
A Natural Proof System for Natural Language (2017, background): “For recent contributions to natural logic see, inter alia, Fyodorov et al. (2003); Zamansky et al. (2006); van Eijck (2007); MacCartney (2009); Moss (2010b); Muskens (2010); Icard and Moss (2014).”
A Monotonicity Calculus and Its Completeness (2017, background): “There has been recent theoretical work on monotonicity reasoning as part of a general interest in “natural logic” (Bernardi, 2002; Zamansky et al., 2006; MacCartney and Manning, 2009; Muskens, 2010; Icard, 2012; Moss, 2012; Icard and Moss, 2013; Tune, 2016), and much of this work has made its way in”
Recent Progress on Monotonicity (2014, background): “…involves considering the set M = { + , , ·} of markings on the arrows to be an algebraic structure, using the operation deﬁned in the table below: This tiny algebra is the basis of much work on natural logic (van Ben-them 2008; S´anchez-Valencia 1991; van Eijck 2007; Zamansky et al. 2006).”