Báo cáo khoa học: "ALGORITHMS FOR GENERATION THEOREM PROVING IN LAMBEK" docx

... ALGORITHMS FOR GENERATION IN LAMBEK THEOREM PROVING Erik-Jan van der Linden * Guido Minnen Institute for Language Technology and Artificial Intelligence Tilburg University ... Theorem Proving is a natural candidate for a 'uniform' architecture for natural language parsing and generation. Keywords: generation algorithm; natural lan- guage generation;...

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

... the parsing coverage. Such a goal may be achieved by incorporating syn- tactic rules into the ~ammar while retaining lexical/semantic information to minim'ize the ambiguity of the input ... Resolution for Machine Translation of Telegraphic Messages I Young-Suk Lee Lincoln Laboratory MIT Lexington, MA 02173 USA ysl@sst. II. mit. edu Clifford Weinstein Lincoln Laboratory MIT...

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

... analysis. 515 Arabic for our dataset. This makes the generation of correct forms a challenging problem in MT. The Russian lexicon was obtained by intersecting a general domain lexicon with our training data ... sentences (lambda) for training the com- bination weights with max-BLEU training, a set of parallel sentences (dev) for training a small number of combination parameters for...

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

... phenomena that are in- volved in determining answerhood. Our work suggests that considerable gains in performance can be obtained by incorporating TE during both answer processing and passage re- trieval. ... in a text can be inferred from the information expressed in another text, can be performed in four ways. We can try to (1) derive linguistic information from the pair of text...

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

... EVALUATENGLM 6 if FINALIDLG 7 then 8 for each in do PUSH POP 9 return Figure 5: Pseudo-code for intersecting an IDL-graph with an n-gram language model using incre- mental unfolding and A search. IDL-NGLM-BEAM 1 2 3 ... EVALUATENGLM 6 if FINALIDLG 7 then 8 9 return Figure 4: Pseudo-code for intersecting an IDL-graph with an n-gram language model using incre- mental unfolding and bread...

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

... 'correct' one. Generation will fail if all signs in the bag are not eventually incorporated in tile final result, but in the naive algorithm, the intervening computation may be intractable. In the ... 2 in this case) and during conjunction or adjunction we introduce a new one (node 8 in this case) thus maintaining the same number of nodes in the tree. 9 /L 3...

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

... objects. Therefore, in the English-to-Chinese machine translation task we need to take additional efforts to generate the missing measure words in Chinese. For example, when translating the English ... Model Training and Application 3.1 Training We parsed English and Chinese sentences to get training samples for measure word generation model. Based on the source syntax parse...

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

... Planning Under Uncertainty for Spoken Dialogue Systems Verena Rieser School of Informatics University of Edinburgh vrieser@inf.ed.ac.uk Oliver Lemon School of Informatics University of Edinburgh olemon@inf.ed.ac.uk Abstract We ... to instead stop generating. Re- inforcement Learning (RL) allows us to optimize such trade-offs in the presence of uncertainty, i.e. the chances of achieving a...

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

... the other incorrect choices as the distractors. For instance, in Figure 2, the Form Meaning (appropriateness) (accuracy) ness) (meaningful- Use 1 In the Great Smoky Mountains, one can ... changing the verb “improve” into different forms: “to improving”, “improve”, and “improving.” Then, we collect authentic sentences from the Web as the source of the tests. Finally, by appl...

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

... tually using it in a generation system. Finally, we present conclusions and future work. 2 Constructing a generation lexicon by merging linguistic resources 2.1 Linguistic resources In our ... corpus for frequency measure- ments and exacting selectional constraints. 2.2 Combining linguistic resources In this section, we present an algorithm for merging data from the four...

Ngày tải lên: 31/03/2014, 04:20