Diskursrepresentationsteori

Inom formell lingvistik är diskursrepresentationsteori ( DRT ) ett ramverk för att utforska mening under en formell semantisk ansats . En av huvudskillnaderna mellan tillvägagångssätt i DRT-stil och traditionella Montagoviska tillvägagångssätt är att DRT inkluderar en nivå av abstrakta mentala representationer (diskursrepresentationsstrukturer, DRS) inom sin formalism, vilket ger den en inneboende förmåga att hantera mening över meningsgränser. DRT skapades av Hans Kamp 1981. En mycket liknande teori utvecklades oberoende av Irene Heim 1982, under namnet File Change Semantics (FCS). Diskursrepresentationsteorier har använts för att implementera semantiska analyser och system för förståelse av naturliga språk .

Diskursrepresentationsstrukturer

DRT använder discourse representation structure s (DRS) för att representera en åhörares mentala representation av en diskurs när den utvecklas över tiden. Det finns två kritiska komponenter till en DRS:

En uppsättning diskursreferenser som representerar enheter som är under diskussion.
En uppsättning DRS-villkor som representerar information som har givits om diskursreferenser.

Tänk på meningen (1) nedan:

(1) En bonde äger en åsna.

DRS för (1) kan noteras som (2) nedan:

(2) [x,y: bonde(x), åsna(y), äger(x,y)]

Vad (2) säger är att det finns två diskursreferenser, x och y, och tre diskursvillkor bonde , åsna och äger , så att villkoret bonden har av x, åsnan har y och äger paret x och y.

Informellt är DRS i (2) sant i en given utvärderingsmodell om och endast om det finns enheter i den modellen som uppfyller villkoren. Så om en modell innehåller två individer, och en är en bonde, den andra är en åsna, och den första äger den andra, är DRS i (2) sant i den modellen.

Att uttala efterföljande meningar resulterar i att befintlig DRS uppdateras.

(3) Han slår den.

Att uttala (3) efter (1) resulterar i att DRS i (2) uppdateras enligt följande, i (4) (förutsatt ett sätt att disambiguera vilket pronomen som refererar till vilken individ).

(4) [x,y: bonde(x), åsna(y), egen(x,y), beat(x,y)]

Successiva yttranden av meningar fungerar på ett liknande sätt, även om processen är något mer komplicerad för mer komplexa meningar som meningar som innehåller negation och villkor .

Åsnanaphora _

I en mening erbjuder DRT en variant av första ordningens predikatkalkyl - dess former är par av första ordningens formler och de fria variablerna som förekommer i dem. I traditionell naturspråkssemantik undersöks endast enskilda meningar, men sammanhanget i en dialog spelar också en roll för betydelsen . Till exempel, anaforiska pronomen som han och hon förlitar sig på tidigare införda individuella konstanter för att få mening. DRT använder variabler för varje individuell konstant för att ta hänsyn till detta problem. En diskurs representeras i en diskursrepresentationsstruktur (DRS), en ruta med variabler överst och meningarna på det formella språket nedan i den ursprungliga diskursens ordning. Sub-DRS kan användas för olika typer av meningar.

En av de stora fördelarna med DRT är dess förmåga att redogöra för åsnedomar ( Geach 1962) på ett principiellt sätt:

(5) Varje bonde som äger en åsna slår den .

Mening (5) kan parafraseras enligt följande: Varje bonde som äger en åsna slår åsnan som han/hon äger. Enligt ett montagoviskt tillvägagångssätt, slutar det obestämda en åsna , som antas vara en existentiell kvantifierare , med att bli en universell kvantifierare , ett ovälkommet resultat eftersom förändringen i kvantifieringskraft inte kan förklaras på något principiellt sätt.

DRT undviker detta problem genom att anta att indefinites introducerar diskursreferenser (DR), som lagras i den mentala representationen och är tillgängliga (eller inte, beroende på förutsättningarna) för uttryck som pronomen och andra anaforiska element . Dessutom är de till sin natur icke-kvantifierande och tar upp kvantifierande kraft beroende på sammanhanget.

Å andra sidan har äkta kvantifierare (t.ex. "varje professor") räckvidd. En 'varje- NP ' utlöser introduktionen av ett komplext tillstånd av formen K1 → K2, där K1 och K2 är sub-DRS som representerar begränsningen respektive kvantifieringens omfattning.

Till skillnad från sanna kvantifierare bidrar obestämda substantivfraser bara till en ny DR (tillsammans med en del beskrivande material när det gäller förhållanden på DR), som placeras i en större struktur. Denna större struktur kan vara toppnivå-DRS eller någon under-DRS enligt den satsinterna miljön för den analyserade substantivfrasen – med andra ord en nivå som är tillgänglig för en anafor som kommer senare.

Se även

Kadmon, N. 2001. Formell pragmatik: semantik, pragmatik, förutsättningar och fokus. Oxford: Blackwell Publishers .
Lewis, David . "Adverb av kvantifiering". In Formal Semantics of Natural Language . Redigerad av Edward L Keenan. Cambridge: Cambridge University Press , 1975. Sidorna 3–15.
Moltmann, Friederike . 1997. Obundna anaforiska pronomen: E-typ, dynamiska och strukturerade propositioner. Synthese 153, 2006. Sidorna 199-260. https://doi.org/10.1007/s11229-005-5469-x

externa länkar