Matches in SemOpenAlex for { <https://semopenalex.org/work/W199202920> ?p ?o ?g. }
- W199202920 endingPage "192" @default.
- W199202920 startingPage "187" @default.
- W199202920 abstract "This paper presents a sketch of a formal proof of strong equivalence,1 where both grammars generate equivalent parse results, between any LTAG (Lexicalized Tree Adjoining Grammar: Schabes, Abeille and Joshi (1988)) G and an HPSG (Head-Driven Phrase Structure Grammar: Pollard and Sag (1994))-style grammar converted from G by a grammar conversion (Yoshinaga and Miyao, 2001). Our proof theoretically justifies some applications of the grammar conversion that exploit the nature of strong equivalence (Yoshinaga et al., 2001b; Yoshinaga et al., 2001a), applications which contribute much to the developments of the two formalisms. In the past decades, LTAG and HPSG have received considerable attention as approaches to the formalization of natural languages in the field of computational linguistics. Discussion of the correspondences between the two formalisms has accompanied their development; that is, their linguistic relationships and differences have been investigated (Abeille, 1993; Kasper, 1998), as has conversion between two grammars in the two formalisms (Kasper et al., 1995; Tateisi et al., 1998; Becker and Lopez, 2000). These ongoing efforts have contributed greatly to the development of the two formalisms. Following this direction, in our earlier work (Yoshinaga and Miyao, 2001), we provided a method for converting grammars from LTAG to HPSG-style, which is the notion that we defined according to the computational device that underlies HPSG. We used the grammar conversion to obtain an HPSG-style grammar from LTAG (The XTAG Research Group, 2001), and then empirically showed strong equivalence between the LTAG and the obtained HPSG-style grammar for the sentences in the ATIS corpus (Marcus, Santorini and Marcinkiewicz, 1994). We exploited the nature of strong equivalence between the LTAG and the HPSG-style grammars to provide some applications such as sharing of existing resources between the two grammar formalisms (Yoshinaga et al., 2001b), a comparison of performance between parsers based on the two different formalisms (Yoshinaga et al., 2001a), and linguistic correspondence between the HPSG-style grammar and HPSG. As the most important result for the LTAG community, through the experiments of parsing within the above sentences, we showed that the empirical time complexity of an LTAG parser (Sarkar, 2000) is higher than that of an HPSG parser (Torisawa et al., 2000). This result is contrary to the general expectations from the viewpoint of the theoretical bound of worst time complexity, which is worth exploring further. However, the lack of the formal proof of strong equivalence restricts scope of the applications of our grammar conversion to grammars which are empirically attested the strong equivalence, and this prevents the applications from maximizing their true potential. In this paper we give a formal proof of strong equivalence between any LTAG G and an HPSG-style grammar converted from G by our grammar conversion in order to remove such restrictions on the applications." @default.
- W199202920 created "2016-06-24" @default.
- W199202920 creator A5004444958 @default.
- W199202920 creator A5040699981 @default.
- W199202920 creator A5040725471 @default.
- W199202920 date "2002-05-01" @default.
- W199202920 modified "2023-10-07" @default.
- W199202920 title "A Formal Proof of Strong Equivalence for a Grammar Conversion from LTAG to HPSG-style" @default.
- W199202920 cites W120840286 @default.
- W199202920 cites W127411595 @default.
- W199202920 cites W1519201847 @default.
- W199202920 cites W1539395461 @default.
- W199202920 cites W1561333934 @default.
- W199202920 cites W1564942370 @default.
- W199202920 cites W1632114991 @default.
- W199202920 cites W1997212468 @default.
- W199202920 cites W2038248725 @default.
- W199202920 cites W2044589814 @default.
- W199202920 cites W2106792906 @default.
- W199202920 cites W2131986285 @default.
- W199202920 cites W2153198088 @default.
- W199202920 cites W2950252192 @default.
- W199202920 hasPublicationYear "2002" @default.
- W199202920 type Work @default.
- W199202920 sameAs 199202920 @default.
- W199202920 citedByCount "0" @default.
- W199202920 crossrefType "journal-article" @default.
- W199202920 hasAuthorship W199202920A5004444958 @default.
- W199202920 hasAuthorship W199202920A5040699981 @default.
- W199202920 hasAuthorship W199202920A5040725471 @default.
- W199202920 hasConcept C118615104 @default.
- W199202920 hasConcept C134083981 @default.
- W199202920 hasConcept C138885662 @default.
- W199202920 hasConcept C152862876 @default.
- W199202920 hasConcept C154945302 @default.
- W199202920 hasConcept C171018156 @default.
- W199202920 hasConcept C172265290 @default.
- W199202920 hasConcept C199360897 @default.
- W199202920 hasConcept C204321447 @default.
- W199202920 hasConcept C2524010 @default.
- W199202920 hasConcept C26022165 @default.
- W199202920 hasConcept C2780069185 @default.
- W199202920 hasConcept C29184939 @default.
- W199202920 hasConcept C33923547 @default.
- W199202920 hasConcept C39890363 @default.
- W199202920 hasConcept C41008148 @default.
- W199202920 hasConcept C41895202 @default.
- W199202920 hasConcept C53893814 @default.
- W199202920 hasConcept C67621940 @default.
- W199202920 hasConcept C80877019 @default.
- W199202920 hasConcept C97212296 @default.
- W199202920 hasConceptScore W199202920C118615104 @default.
- W199202920 hasConceptScore W199202920C134083981 @default.
- W199202920 hasConceptScore W199202920C138885662 @default.
- W199202920 hasConceptScore W199202920C152862876 @default.
- W199202920 hasConceptScore W199202920C154945302 @default.
- W199202920 hasConceptScore W199202920C171018156 @default.
- W199202920 hasConceptScore W199202920C172265290 @default.
- W199202920 hasConceptScore W199202920C199360897 @default.
- W199202920 hasConceptScore W199202920C204321447 @default.
- W199202920 hasConceptScore W199202920C2524010 @default.
- W199202920 hasConceptScore W199202920C26022165 @default.
- W199202920 hasConceptScore W199202920C2780069185 @default.
- W199202920 hasConceptScore W199202920C29184939 @default.
- W199202920 hasConceptScore W199202920C33923547 @default.
- W199202920 hasConceptScore W199202920C39890363 @default.
- W199202920 hasConceptScore W199202920C41008148 @default.
- W199202920 hasConceptScore W199202920C41895202 @default.
- W199202920 hasConceptScore W199202920C53893814 @default.
- W199202920 hasConceptScore W199202920C67621940 @default.
- W199202920 hasConceptScore W199202920C80877019 @default.
- W199202920 hasConceptScore W199202920C97212296 @default.
- W199202920 hasLocation W1992029201 @default.
- W199202920 hasOpenAccess W199202920 @default.
- W199202920 hasPrimaryLocation W1992029201 @default.
- W199202920 hasRelatedWork W1481260321 @default.
- W199202920 hasRelatedWork W1563382394 @default.
- W199202920 hasRelatedWork W1567933108 @default.
- W199202920 hasRelatedWork W1577509415 @default.
- W199202920 hasRelatedWork W1592362763 @default.
- W199202920 hasRelatedWork W1635647302 @default.
- W199202920 hasRelatedWork W1975340268 @default.
- W199202920 hasRelatedWork W2002597220 @default.
- W199202920 hasRelatedWork W2023916446 @default.
- W199202920 hasRelatedWork W2053930224 @default.
- W199202920 hasRelatedWork W2088020722 @default.
- W199202920 hasRelatedWork W2099266726 @default.
- W199202920 hasRelatedWork W2112756777 @default.
- W199202920 hasRelatedWork W2141063311 @default.
- W199202920 hasRelatedWork W2211212615 @default.
- W199202920 hasRelatedWork W2278293134 @default.
- W199202920 hasRelatedWork W2386691407 @default.
- W199202920 hasRelatedWork W7933008 @default.
- W199202920 hasRelatedWork W2140246198 @default.
- W199202920 hasRelatedWork W2182258672 @default.
- W199202920 isParatext "false" @default.
- W199202920 isRetracted "false" @default.
- W199202920 magId "199202920" @default.