[PDF] Top 20 Higher order logical inference with compositional semantics

... demand higher-order logic or type theory (Carpenter, 1997), the domi- nant view in computational linguistics is that infer- ences based on higher-order logic are hopelessly inefficient for ... See full document

... includes higher-order quantifiers like most, and a basic theory of semantic learning that is a straightforward extension of our sampling procedures for computing the marginal probability of a sentence in a ... See full document

... WordNet-derived inference rule is valid in a given ...learn inference rules not present in WordNet. Our lexical semantics is integrated into the lexicon, rather than being implemented as additional ... See full document

... the semantics of ...formal semantics litera- ture, where higher-order logical (HOL) formulas are used to derive meaning representations (MR); despite what is typically believed in the ... See full document

... restricted higher-order unification to carry out the ...to higher complexity in learning a ...represents semantics by graphs, which provide a way to flexibly break and combine ... See full document

... Finally, subsective adjectives such as (the non- literally-used) white in white wine, consitute an in- termediate case: they license the inference that the property denoted by the noun holds of the indi- vidual ... See full document

... For evaluation, we use the Multi-Perspective Ques- tion Answering (MPQA) corpus (Wiebe et al., 2005), which consists of 535 newswire documents manually annotated with phrase-level subjectivity information. We evaluate on ... See full document

... Aggregate relation DCS trees that only use join relations can represent arbitrarily complex compo- sitional structures, but they cannot capture higher- order phenomena in language. For example, con- sider ... See full document

... Before sampling, we apply several filters in order to reduce the noise in the selected sen- tences. First, we use two POS taggers, the one distributed with Stanford CoreNLP (Man- ning et al. (2014)) and the one ... See full document

... ular logical system used for RTE (Bos and Mark- ert, 2005; Lewis and Steedman, 2013; Bjerva et ...formal semantics of natural language to use HOL as a representation language (Montague, ...language ... See full document

... 4.3.2 Comparison to other RTE systems A comparison between our system and other RTE systems is shown in Table 6. Bos06 (Bos and Markert, 2006) is a hybrid system combining deep features from a theorem prover and a model ... See full document

... Specifically, we attempt to learn semantics from multilingual data. The idea is that, given enough parallel data, a shared representation of two paral- lel sentences would be forced to capture the com- mon ... See full document

... about semantics and what is probably Recurrent Neural Networks; she cannot be working for Kim, who is a syntactician, but she perhaps works for Sandy, who does Machine ... See full document

... where x, y, z ∈ A and α, β ∈ R . It is assumed that the multiplication is associative, but not commutative. The resulting structure is an associative algebra over a field — or simply an algebra when there is no ... See full document

... Dependency Semantics (Baldridge and Kruijff 2002; White 2006), given that hybrid logic extends the tree structures of modal logic with nominals, thereby allowing a node to freely reference other ... See full document

... Morphology-Sensitive Model Since most id- ioms enjoy certain flexibility in morphology, lex- icon, syntax, the above model suffers from the problem of idiom variations. To remedy this, in- spired by the ... See full document

... the semantics of classes of verbs like change of state verbs whose description requires reference to a complex event ...the semantics do not in- clude the predicates manner(end(E),forceful,X arg0 ) ^ ... See full document

... In the previous sections I have focused on the semantic and pragmatic aspects of my analysis of temporal expressions, that concern in particular the feature of narrow scope assignment of[r] ... See full document

... The semantics we have proposed allows focusing subjuncts to be covered by a frame-based approach to semantic interpretation, by virtue of its being compositional, computationally practic[r] ... See full document

... Compositional Semantics in Verbmobil C o m p o s i t i o n a l S e m a n t i c s in V e r b m o b i l J o h a n B o s Bj~irn Gamb~ick C h r i s t i a n Lieske Y o s h i k i M o r i M a n f r e d P i n[.] ... See full document