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å

Referanser

Eksterne linker