Báo cáo khoa học: "Efficient Linear Logic Meaning" docx

... linear logic to assemble meanings from syntactic analyses (Dalrymple et al., 1993). It has been compu- rationally feasible in practice (Dalrymple et al., 1997b). Yet deduction in linear logic ... Efficient Linear Logic Meaning Assembly Vineet Gupta Caelum Research Corporation NASA Ames Research Center ... underspecified representations. In the next section, we identify a...

Ngày tải lên: 17/03/2014, 07:20

... and M. Steedman. 1985. On not be- ing led up the garden path: The use of con- text by the psychological parser. In D. Dowty, L. Karttunen, and A. Zwicky, editors, Natu- ral Language Parsing.

Ngày tải lên: 20/02/2014, 19:20

... grapheme sequence v~. T may re- alize arbitrary morphological processes, includ- ing affixation, local clitic movement, deletion of phonological nulls, forbidden or dispreferred k-grams, typographical ... Language Technology" and Ministero dell'Universitk e della Ricerca Scientifica e Tecnologica project "Methodologies and Tools of High Performance Systems for Multimedia...

Ngày tải lên: 20/02/2014, 19:20

... syntactic, semantic, morphological or phonological features. Depending on the grammar formalism, different languages are used for stating the constraints on permissible linearizations. LP rules, ... linguistics separate statements about dominance from those that determine linear precedence. The approaches for encoding linear precedence (LP) statements differ along several dimension...

Ngày tải lên: 08/03/2014, 07:20

... word order. Constraints on word order are enforced by features and graph unification (CUG) or by Linear Pre- cedence (LP) statements (HPSG, GPSG). The pro- blems with CUG are that on the computational ... the form X/Y, YfZ ~ X/Z where X/Yis atype raised NP and Y/Z is a verb. FG accounts for French linearity phenomena, em- bedded sentences and unbounded dependencies. It is derived...

Ngày tải lên: 08/03/2014, 18:20

... e (sk-1( n ) , sk ( n )) (7) Hence, the function S provides the optimal word sequence in a time complexity linear to the number of words in the extension. Yet, as the word hypotheses graph contains only a

Ngày tải lên: 08/03/2014, 21:20

... LC-valld (since it would not preserve linear order require- ments). For a unidirectional CG system (i.e. a system with a single connective/, that did not specify linear order require- ments), free ... might be the best system for pure reasoning about 'categorial dependency', aside from linearity considerations. 9These unary metarules have been used elsewhere as part of t...

Ngày tải lên: 17/03/2014, 08:20

... i .V .k timeline can carry tl~e full panoply of phonolog- ical and morphological ,:onstituents an.vthing that phonological constraints might have to refer to. Thus, a timetine bears not only ... of the constraint: (2) Filteri(Set)= {R E Set : Ci(R) is minimal} Given an underlying phonological input, its set of legal surface forms under the grammar typically of size 1 is just (3) .....

Ngày tải lên: 17/03/2014, 23:20

Ngày tải lên: 23/03/2014, 20:21

... A Linear- time Model of Language Production: some psychological implications (extended abstract) David D. McDonald MIT Artificial ... grammatical convention (e.g. agreement, word-ordar within the clause, morphological specializations; see [6]). The requirement of linear time rules out any decision-making techniques that would require ... the decisions depend (see [8] for elaborati...

Ngày tải lên: 24/03/2014, 01:21