Applikativ universell grammatik

Applikativ universell grammatik , eller AUG , är ett universellt semantiskt metaspråk avsett för att studera semantiska processer i vissa språk. Detta är en språklig teori som ser på bildandet av frasstruktur i analogi med funktionstillämpning i ett applikativt programmeringsspråk . Bland innovationerna i denna metod för naturlig språkbehandling är idéerna om funktionell överlagring och stratifierade typer.

Exempel

I artikeln med titeln Using Types to Parse Natural Language Mark P. Jones, Paul Hudak och Sebastian Shaumyan , som beskriver en implementering av AUG-parsing i Haskell , finns en kort introduktion till AUG. Det är parafraserat här, med hjälp av ett av deras exempel:

AUG har bara två primitiva typer: T för termer, S för "meningar" (även om AUG tydligen tillåter att meningsfragment är av typ S.) Det finns en icke-primitiv typ som returnerar en funktion: Oxy. O reducerar x och y till en annan typ, xy, som kombinerar typerna av x och y, xy. Ord kan vara funktioner av denna typ. Typen av ett ord som "min" (sak) är OTT: det tar något av typ T och ger något av typ T. "Min vän" har en struktur så här:

{\dfrac {\text{''min'' :: OTT ''vän'' :: T}}{\ text{pq :: y}}}

Regler kan transformera p av typen Oxy till q av typen x:

{\dfrac {\text{p :: Oxy q :: x}}{\text{''min vän'' :: T }}}

Observera att att göra O till en prefixoperator eliminerar behovet av parenteser (som i mer konventionell matematisk ortografi), och ger en mer kompakt presentation på sidan.

Så här minskar "min vän bor i Boston" i AUG.

AUG tillåter både framåt- och bakåtapplicering av O. Här är regeln för bakåtapplicering:

{\dfrac {\text{q :: xp :: Oxy}}{\text{qp :: y}}}

Ordet "leva" reduceras till det mer specifika "bo i Boston". AUG skiljer mellan fenotyp och genotyp grammatik ; fenotyp motsvarar nära det faktiska språket, som i föregående grafik. Genotyp är en mer universell struktur för betydelsen. För att få tydligare fokus på genotypfrågor kan trädgrenordning renderas så att funktioner finns till vänster om deras argument. Ett mer genotypiskt analysträd ser ut så här:

Det intransitiva "liv" skrivs OTS: subjektet är ett T, men ett S - en meningsfras - måste vara den resulterande typen. Varför har "in" typ OTOOTSOTS? "In" som en treställsfunktion kräver en plats ("Boston"; typ T), något som händer ("livs"; typ OTS), och i detta exempel, ett subjekt, någon som bor, också av typ T.

Se även

^ Shaumyan, Sebastian (1987). A Semiotic Theory of Language (1:a uppl.). Bloomington och Indianapolis: Indiana University Press. ISBN 978-0253304728 .
^ Bernard P., Sypniewski (2009) [1997], "Functional Superposition" (PDF) , LACUS Forum ( Linguistic Association of Canada and the United States ) , Brigham Young University , 23 : 279–287, doi : 10.3115/99122859 .
^ Sebastian, Shaumyan ; Segond, Frédérique (1994), "Long-Distance Dependencies and Applicative Universal Grammar" (PDF) , COLING '94: Proceedings of the 15th conference on Computational linguistics , 2 : 853–858, doi : 10.3115/99912805.999125.
^ Jones, Mark P.; Hudak, Paul ; Shaumyan, Sebastian (1995), "Using Types to Parse Natural Language" (PDF) , i Turner, David (red.), Proceedings of the Glasgow Workshop on Functional Programming , Workshops in Computer Science Series.(IFIP), Springer-Verlag , doi : 10.14236/ewic/FP1995.0 , ISBN 978-3540145806

Vidare läsning

Shaumyan, Sebastian (1 januari 1977). Tillämplig grammatik som en semantisk teori om naturligt språk . Edinburgh University Press. ISBN 978-0852240762 .
Sypniewski, Bernard P. "En introduktion till applikativ universell grammatik" . pdfslide.net . Hämtad 29 april 2021 .

[1] Shaumyan, Sebastian (1987). A Semiotic Theory of Language (1:a uppl.). Bloomington och Indianapolis: Indiana University Press. ISBN 978-0253304728 .

[Syp97-2] Bernard P., Sypniewski (2009) [1997], "Functional Superposition" (PDF) , LACUS Forum ( Linguistic Association of Canada and the United States ) , Brigham Young University , 23 : 279–287, doi : 10.3115/99122859 .

[3] Sebastian, Shaumyan ; Segond, Frédérique (1994), "Long-Distance Dependencies and Applicative Universal Grammar" (PDF) , COLING '94: Proceedings of the 15th conference on Computational linguistics , 2 : 853–858, doi : 10.3115/99912805.999125.

[4] Jones, Mark P.; Hudak, Paul ; Shaumyan, Sebastian (1995), "Using Types to Parse Natural Language" (PDF) , i Turner, David (red.), Proceedings of the Glasgow Workshop on Functional Programming , Workshops in Computer Science Series.(IFIP), Springer-Verlag , doi : 10.14236/ewic/FP1995.0 , ISBN 978-3540145806