[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
courses:rg:natural-logic-for-textual-inference [2011/05/03 01:49]
gutierrez
courses:rg:natural-logic-for-textual-inference [2011/05/03 01:52]
gutierrez
Line 1: Line 1:
 +====== Natural Logic for Textual Inference ======
 +**Bill MacCartney, Christopher D. Manning (2007)**
 +
 ===== Introduction ===== ===== Introduction =====
  
 This paper deals with “**natural logic**” which is logical inference that operates over natural language. Usually the approaches for natural language inference are whether robust but shallow or deep but brittle. The system proposed in this paper aims to be in the middle of the existent approaches and avoid, for instance, the error when translating a natural language to 1st order logic. This paper deals with “**natural logic**” which is logical inference that operates over natural language. Usually the approaches for natural language inference are whether robust but shallow or deep but brittle. The system proposed in this paper aims to be in the middle of the existent approaches and avoid, for instance, the error when translating a natural language to 1st order logic.
-quantifiers,+
 One key concept in the theory of natural logic is “monoticity” in which, instead of using quantifiers,  the concepts or constraints expressed in a sentence are expanded or contracted.  This way,  linguistics expressions can be represented as //upward-monotone//, //downward monotone//, or //non-monotone// semantic functions. One key concept in the theory of natural logic is “monoticity” in which, instead of using quantifiers,  the concepts or constraints expressed in a sentence are expanded or contracted.  This way,  linguistics expressions can be represented as //upward-monotone//, //downward monotone//, or //non-monotone// semantic functions.
  

[ Back to the navigation ] [ Back to the content ]