Teori for diskursrepresentasjon - Discourse representation theory
I formell lingvistikk er diskursrepresentasjonsteori ( DRT ) et rammeverk for å utforske mening under en formell semantikktilnærming . En av de viktigste forskjellene mellom DRT-stil tilnærminger og tradisjonelle montagoviske tilnærminger er at DRT inkluderer et nivå av abstrakte mentale representasjoner (diskursrepresentasjonsstrukturer, DRS) innenfor sin formalisme, noe som gir den en egen evne til å håndtere mening på tvers av setningsgrenser. DRT ble opprettet av Hans Kamp i 1981. En veldig lignende teori ble utviklet uavhengig av Irene Heim i 1982, under navnet File Change Semantics (FCS). Teorier om diskursrepresentasjon har blitt brukt til å implementere semantiske analysatorer og naturlige språkforståelsessystemer .
Diskursrepresentasjonsstrukturer
DRT bruker diskursrepresentasjonsstrukturer s (DRS) for å representere en tilhørers mentale representasjon av en diskurs når den utspiller seg over tid. Det er to viktige komponenter til en DRS:
- Et sett med diskursreferanser som representerer enheter som er under diskusjon.
- Et sett med DRS-forhold som representerer informasjon som er gitt om diskursreferanser.
Vurder setning (1) nedenfor:
- (1) En bonde eier et esel.
DRS av (1) kan noteres som (2) nedenfor:
- (2) [x, y: bonde (x), esel (y), eier (x, y)]
Hva (2) sier er at det er to diskursreferanser, x og y, og tre diskursbetingelser bonde , esel og eier , slik at tilstanden bonden holder av x, esel holder av y, og eier holder av paret x og y.
Uformelt er DRS i (2) sant i en gitt evalueringsmodell hvis og bare hvis det er enheter i den modellen som tilfredsstiller betingelsene. Så hvis en modell inneholder to individer, og den ene er bonde, er den andre et esel, og den første eier den andre, er DRS i (2) sant i den modellen.
Å si etterfølgende setninger resulterer i at eksisterende DRS blir oppdatert.
- (3) Han slår det.
Uttrykk (3) etter (1) resulterer i at DRS i (2) oppdateres som følger, i (4) (forutsatt en måte å tydeliggjøre hvilket pronomen som refererer til hvilket individ).
- (4) [x, y: bonde (x), esel (y), egen (x, y), slå (x, y)]
Suksessive ytringer av setninger fungerer på en lignende måte, selv om prosessen er noe mer komplisert for mer komplekse setninger som setninger som inneholder negasjon og betingede .
Donkey anafhora
På en måte tilbyr DRT en variasjon av første ordens predikat-beregning - dens former er par av første ordens formler og de gratis variablene som forekommer i dem. I tradisjonell naturspråklig semantikk blir bare individuelle setninger undersøkt, men konteksten til en dialog spiller også en rolle i betydningen. For eksempel stoler anaforiske pronomen som han og hun på tidligere introduserte individuelle konstanter for å få mening. DRT bruker variabler for hver enkelt konstant for å gjøre rede for dette problemet. En diskurs er representert i en diskursrepresentasjonsstruktur (DRS), en rute med variabler øverst og setningene i det formelle språket nedenfor i rekkefølgen av den originale diskursen. Sub-DRS kan brukes til forskjellige typer setninger.
En av de store fordelene med DRT er dens evne til kontoen for esel setninger ( geach 1962) i en prinsipiell måte:
- (5) Hver bonde som eier et esel slår det .
Setning (5) kan omformuleres slik: Hver bonde som eier et esel, slår eselet som han / hun eier. Under en montagovisk tilnærming ender det ubestemte eselet , som antas å være en eksistensiell kvantifiserende , en universell kvantifiseringsenhet , et uvelkomment resultat fordi endringen i kvantifiseringskraft ikke kan redegjøres for på noen prinsipiell måte.
DRT unngår dette problemet ved å anta at ubestemte innfører diskursreferanser (DRs) som er lagret i den mentale representasjonen og er tilgjengelige (eller ikke, avhengig av forholdene) for uttrykk som pronomen og andre anaforiske elementer. Videre er de iboende ikke-kvantifiserende, og tar opp kvantifiseringskraft avhengig av konteksten.
På den annen side har ekte kvantifiserere (f.eks. "Hver professor") omfang. En 'every-NP' utløser introduksjonen av en kompleks tilstand med formen K1 → K2, der K1 og K2 er under-DRSer som representerer henholdsvis begrensningen og omfanget av kvantifiseringen.
I motsetning til sanne kvantifiserere, bidrar ubestemte NP bare en ny DR (sammen med noe beskrivende materiale når det gjelder forholdene til DR), som er plassert i en større struktur. Denne større strukturen kan være toppnivå DRS eller noe sub-DRS i henhold til setningsintern miljø av det analyserte NP - med andre ord et nivå som er tilgjengelig for en anafor som kommer senere.
Se også
- Kombinatorisk kategorisk grammatikk
- Eselpronomen
- Montague grammatikk
- Segmentert diskursrepresentasjonsteori
Referanser
- Kadmon, N. 2001. Formal Pragmatics: Semantics, Pragmatics, Presupposition, and Focus. Oxford: Blackwell Publishers .
- Lewis, David . 'Adverb av kvantifisering'. I Formal Semantics of Natural Language . Redigert av Edward L Keenan. Cambridge: Cambridge University Press , 1975. Sider 3–15.
- Moltmann, Friederike . 1997. Ubundet anaforisk pronomen: E-type, dynamiske og strukturerte forslagstilnærminger '. Synthese 153, 2006. Sider 199-260. https://doi.org/10.1007/s11229-005-5469-x