Báo cáo khoa học: "TRANSLATING ENGLISH INTO LOGICAL FORM" docx

... system. Our strategy was to first translate English into logical formulas of the type discussed in [Moore, 1981], which were then postprocessed into a form suitable for a first-order deduc- ... TRANSLATING ENGLISH INTO LOGICAL FORM' Stanley J. Rosenscbein Stuart M, Shieber ABSTRACT A scheme for syntax-directed ... our formalism, translation types are associated with...

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

... transfer-based interactive translation. Trans- fer takes place at the level of Quasi Logical Form (QLF), a contextually sensitive logical form rep- resentation which is deep enough for dealing with cross-linguistic ... languages for the prototype system is English and Swedish. Input sentences are analysed by the Core Language En- gine (CLE 1) as far as the level of Quasi Logical...

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

... Webber [Web78] and Sag [Sag76]). 2. The logical roles of all noun phrases in a sen- tence are identified by position in logical form (logical subject first, logical object second, log- ical indirect ... using logical form in a computational framework (from [Har88] and [Harg0]). 1. Compactness Constraint: Logical form should compactly represent ambiguity. 2. Modularity Con...

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

... relation. 3 3 Logical- Constraint-Based Grammar Representation 3.1 Logical Constraint Representation of Disjunctive Feature Structures We will first define logical constraints. A logical con- ... Translating a Unification Grammar with Disjunctions into Logical Constraints Mikio Nakano and Akira Shimazu* NTT Basic Research Laboratories 3-1 Morinosato-Wakamiya, ... their pred...

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

... 2006. c 2006 Association for Computational Linguistics Translating HPSG-style Outputs of a Robust Parser into Typed Dynamic Logic Manabu Sato † Daisuke Bekki ‡ Yusuke Miyao † Jun’ichi Tsujii † ∗ † Department ... bekki@ecs.c.u-tokyo.ac.jp Abstract The present paper proposes a method by which to translate outputs of a ro- bust HPSG parser into semantic rep- resentations of Typed Dynamic Lo...

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

... with the T ⁄ A cloning kit (Fermentas, Hanover, MD, USA). The ligation mixture was transformed into Escherichia coli XL1-Blue-competent cells. Recombinant clones carrying the insert were selected by ... condition of a 10 A ˚ water layer along with the waters of crystalliza- tion associated with the biological unit, but omitting other ligands. The water molecules and generated hydrogen atom...

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

... cerevisiae cytochrome bc 1 complex is required for insertion of EPR-detectable iron-sulfur cluster into the Rieske iron-sulfur protein. J. Biol. Chem. 268, 11727–11736. 30. Berden, J.A., Schoppink, ... B.H. (1997) The N terminus of the Qcr7 protein of the cytochrome bc 1 complex is not essential for import into mitochondria in Saccharomyces cerevisiae but is essential for assembly of the...

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

... Corpora We tested our approach on two English Corpora 1279 from the Penn Treebank CD. We divided a 5500 sentence portion of the Wall Street Journal Cor- pus into 11 different sets of training ... ative constraint rules to rule out certain pat- terns. We have applied this approach to tagging English text from the Wall Street Journal and the Brown Corpora. Our results from the Wal...

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

... present during crystallization. The poor ADP activation of EcODC presumably reflects the minor physiological relevance of oxalate degradation for the energy metabolism of E. coli. Thus, it is conceivable ... & Lindqvist Y (2007) Crystal- lographic snapshots of oxalyl-CoA decarboxylase give insights into catalysis by nonoxidative ThDP-dependent decarboxylases. Structure 15, 853–861. 5 Mul...

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

... systemic haemorrhage in mice. These results emphasize the importance of the rapid homing of RVV-X into microvessels to exert its effect. The glycan structures of a number of venom glycopro- teins ... (52 °C, 1 min), and a terminal extension at 72 °C for 10 min. After PCR, the products were cloned into the pGEM-T easy vector (Pro- mega Corp., Madison, WI, USA) and transformed to Escher- ic...

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