Gramatyka par łukowych
W językoznawstwie gramatyka par łukowych ( APG ) jest teorią składni , której celem jest sformalizowanie i rozszerzenie gramatyki relacyjnej . Opiera się przede wszystkim na koncepcji gramatyki relacyjnej łuku, ale wykorzystuje również bardziej formalne idee z teorii modeli i teorii grafów . Został opracowany pod koniec lat siedemdziesiątych przez Davida E. Johnsona i Paula Postala i sformalizowany w 1980 roku w tytułowej książce Arc Pair Grammar.
Historia
Wczesna teoria syntaktyczna zajmowała się przede wszystkim relacjami gramatycznymi. Tendencja ta została porzucona przez zwolenników gramatyki transformacyjnej , z wyjątkiem interpretacji semantycznej. We wczesnych latach siedemdziesiątych niektórzy lingwiści, tacy jak Edward Keenan, zaczęli kwestionować to pojęcie z perspektywy transformacjonistów, zwracając na przykład uwagę na powstawanie zdań względnych w malgaskiej i angielskiej (patrz chômeur ). Sama gramatyka relacyjna (RG) nigdy nie została sformalizowana w jednym miejscu; zamiast tego Keenan, Johnson i inni zaczęli pisać aspekty ram w serii rozpraw mniej więcej w tym czasie. Niezadowoleni z wyników i braku sformalizowania w RG, David Johnson i Paul Postal próbowali ustalić jego wersję za pomocą logiki matematycznej. Ta próba przerodziła się w nową teorię, znaną obecnie jako APG. Sam APG został opracowany przez Johnsona i Postala pod koniec lat 70. XX wieku, ale został opublikowany dopiero w 1980 r. APG przyjmuje relacje gramatyczne, pojęcie łuku w teorii grafów i dwie operacje (SPONSOR i ERASE) jako prymitywy, przy czym wszystkie inne reguły są wyprowadzane (wiele z nich raczej matematycznie niż empirycznie).
Postulaty
W przeciwieństwie do generatywno-wyliczeniowego (dowodowego) podejścia do składni przyjętego przez gramatykę transformacyjną, gramatyka par łukowych przyjmuje podejście oparte na teorii modeli. W gramatyce par łukowych prawa językowe i reguły gramatyczne specyficzne dla języka są sformalizowane jako aksjomatyczne stwierdzenia logiczne. Zdania języka, rozumiane jako struktury określonego typu, podlegają zbiorowi praw językowych i stwierdzeń specyficznych dla języka. Redukuje to gramatyczność do logicznie spełnialnego pojęcia satysfakcji z teorii modeli.
Sparuj wykresy sieciowe i RLS
Sieć par ( PN ) jest główną metodą reprezentacji zdań w APG. Jest to model matematyczny składający się z węzłów (dla każdego słowa i klauzuli jako całości) i łączącego je łuku, z operacjami działającymi na łukach, a nie na węzłach. Jest to nieco analogiczne do idei drzewa TG, ale z kilkoma głównymi różnicami. Po pierwsze, PN są formalnymi obiektami matematycznymi, podczas gdy drzewa w TG są obiektami matematycznymi, które nie są formalnie zdefiniowane. Po drugie, idea gałęzi na drzewach nie została przeniesiona; podczas gdy gałęzie dołączają węzły na różnych poziomach struktury, przy czym ogólna sieć gałęzi określa role gramatyczne, łuki kodują role gramatyczne na głowach, a ich jedyną strukturalną rolą jest dołączanie słów do ich klauzuli. Po trzecie, operacje między łukami (tj. operacje wewnątrzstrukturalne) tworzą kolejność słów, podczas gdy struktura TG koduje kolejność słów na wszystkich poziomach.
Sieć par składa się z czterech elementów: „wykresu relacyjnego”, „wykresu logicznego”, „wykresu powierzchniowego” (wykresy R, L, S) oraz dwóch operacji Sponsor i Usuń . Wykres R jest po prostu zbiorem wszystkich elementów w sieci par, tj. strukturą jako całością wszystkich łuków, etykiet ( znaków R ) i operacji między nimi. Wykres S składa się z tych elementów wykresu R, które są faktycznie mówione. Pojedynczy element frazowy i słowo są traktowane jako posiadające pojedynczy rdzeń dla celów wykresu S, chociaż struktura APG ma teoretycznie zastosowanie do wpisów leksykalnych. Wykres L przedstawia semantykę sieci par i logiczne relacje między jej elementami. Wykresy L zawierają również pojęcie „łuków logicznych”, które są dokładnie tymi łukami na wykresie R, które kończą się w węzłach oznaczonych logicznymi i semantycznymi relacjami łuku.
Sponsoruj i usuwaj
sponsorowania są używane między poziomami na wykresie R w celu ustalenia różnych stanów językowych (to znaczy określonego zestawu relacji gramatycznych). Ogólnie rzecz biorąc, niższe poziomy sponsorują wyższe poziomy, a wyższe poziomy wymazują niższe poziomy. Sponsora można podzielić na dwa przypadki: zastąpić i odnieść sukces . Sukces jest bardziej podstawowym z nich, ponieważ łuk A jest następcą innego łuku B wtedy i tylko wtedy, gdy B sponsoruje A, A i B nakładają się na siebie, a B≠A. Oznacza to, że każdy łuk sponsorowany przez łuk inny niż on sam jest następcą tego łuku. Tymczasem zamiana występuje wyłącznie między łukami, które są sąsiadami (łuki, które mają wspólną głowę, ale mają różne ogony). W konsekwencji zamiana może wystąpić tylko między łukami o identycznym znaku R. Łuki, które są częścią operacji Zamień, nie mogą być jednocześnie częścią operacji Sukces. W związku z tym Zastąpienie jest znacznie bardziej ograniczone niż Succeed. Chociaż ostatecznie mają one ten sam skutek w postaci ustanowienia sponsoringu, metody Replace i Succeed podlegają innym zasadom i prawom niż pozostałe. Rozróżnienie pomaga określić, kiedy dokładnie może wystąpić sponsorowanie, a więc chociaż nie jest to technicznie konieczne, jest przydatne ze względu na zwięzłość.
wymazywania występują między łukami, gdy konieczne staje się określenie, który poziom językowy jest potwierdzony fonologicznie. Tam, gdzie dwa łuki mają ten sam związek gramatyczny z tym samym węzłem głównym, ten na poziomie powierzchni wymazuje ten na niższych poziomach. Następcy zawsze wymazują swoich poprzedników, z wyjątkiem jednego przypadku.
Ograniczenia
Jest bardzo niewielu syntaktyków, którzy uważaliby się za praktyków APG lub jej potomków. Jest tego kilka powodów. Po pierwsze, chociaż próbuje obsłużyć wszystkie aspekty języka za pomocą sieci par i par łuków, nie ma odpowiedniego opisu fonologii APG. Po drugie, złożoność struktury APG ogólnie wzrasta wykładniczo wraz ze złożonością zdania. Na przykład w zdaniach z dopełnieniami do - węzły w dopełnieniu mają relacje łukowe z węzłami poza nim, tworząc matematycznie reprezentowane, choć trudne do naśladowania struktury.
Zobacz też
- Pocztowy, Paweł M. (1982). „Niektóre opisy gramatyki par łuków” . W P. Jacobson & GK Pullum (red.), Natura reprezentacji składniowej (s. 341–425). Dordrecht: D. Reidel. ISBN 978-90-277-1290-5
- Newmeyer, Frederick (1980). Językoznawstwo w Ameryce. Nowy Jork: prasa akademicka. ISBN 978-90-277-1290-5
- Pullum, Geoffrey K. i Barbara C. Scholz. (2005). „Kontrastujące zastosowania logiki w opisie składniowym języka naturalnego”. W Petr Hájek, Luis Valdés-Villanueva i Dag Westerståhl (red.), Logika, metodologia i filozofia nauki: Proceedings of the XII International Congress, 481-503. ISBN 978-1-904987-21-5
- Pullum, Geoffrey K. (2007) „Ewolucja ram teorii modeli w językoznawstwie”. W materiałach Model-Theoretic Syntax na 10 warsztatach na ESSLLI 2007, Trinity College, Dublin.