En lingüística formal , la teoría de la representación del discurso ( DRT ) es un marco para explorar el significado bajo un enfoque de semántica formal . Una de las principales diferencias entre los enfoques de estilo DRT y los enfoques montagovianos tradicionales es que la DRT incluye un nivel de representaciones mentales abstractas (estructuras de representación del discurso, DRS) dentro de su formalismo, lo que le otorga una capacidad intrínseca para manejar el significado a través de los límites de las oraciones. DRT fue creado por Hans Kamp en 1981. [1] Irene Heim desarrolló de forma independiente una teoría muy similar en 1982, bajo el nombre de File Change Semantics (FCS). [2] Las teorías de representación del discurso se han utilizado para implementar analizadores semánticos [3] y sistemas de comprensión del lenguaje natural . [4] [5] [6]
DRT utiliza estructuras de representación del discurso (DRS) para representar la representación mental de un oyente de un discurso a medida que se desarrolla en el tiempo. Hay dos componentes críticos para un DRS:
Considere la oración (1) a continuación:
El DRS de (1) se puede anotar como (2) a continuación:
Lo que (2) dice es que hay dos referentes del discurso, x e y, y tres condiciones discursivas: granjero , burro y dueño , tales que la condición que el granjero tiene de x, el burro tiene de y y es dueño del par x y y.
Informalmente, el DRS en (2) es verdadero en un modelo de evaluación dado si y sólo si hay entidades en ese modelo que satisfacen las condiciones. Entonces, si un modelo contiene dos individuos, y uno es un granjero, el otro es un burro y el primero es dueño del segundo, el DRS en (2) es verdadero en ese modelo.
Al pronunciar frases posteriores, se actualiza el DRS existente.
Pronunciar (3) después de (1) da como resultado que el DRS en (2) se actualice de la siguiente manera, en (4) (asumiendo una forma de eliminar la ambigüedad qué pronombre se refiere a qué individuo).
Las expresiones sucesivas de oraciones funcionan de manera similar, aunque el proceso es algo más complicado para oraciones más complejas, como oraciones que contienen negación y condicionales .
En cierto sentido, DRT ofrece una variación del cálculo de predicados de primer orden : sus formas son pares de fórmulas de primer orden y las variables libres que aparecen en ellas. En la semántica tradicional del lenguaje natural sólo se examinan frases individuales, pero el contexto de un diálogo también influye en el significado. Por ejemplo, los pronombres anafóricos como él y ella dependen de constantes individuales previamente introducidas para tener significado. DRT utiliza variables para cada constante individual para tener en cuenta este problema. Un discurso se representa en una estructura de representación del discurso (DRS), un cuadro con variables en la parte superior y las oraciones en el lenguaje formal debajo en el orden del discurso original. Sub-DRS se puede utilizar para diferentes tipos de oraciones.
Una de las principales ventajas de la DRT es su capacidad para dar cuenta de sentencias burro ( Geach 1962) según principios:
La oración (5) se puede parafrasear de la siguiente manera: Todo granjero que posee un burro golpea al burro que posee. Según un enfoque montagoviano, lo indefinido ( un burro) , que se supone que es inherentemente un cuantificador existencial , termina convirtiéndose en un cuantificador universal , un resultado no deseado porque el cambio en la fuerza cuantificacional no puede explicarse de ninguna manera basada en principios.
DRT evita este problema asumiendo que los indefinidos introducen referentes del discurso (DR), que se almacenan en la representación mental y son accesibles (o no, dependiendo de las condiciones) a expresiones como pronombres y otros elementos anafóricos . Además, son inherentemente no cuantificables y adquieren fuerza cuantificacional dependiendo del contexto.
Por otra parte, los cuantificadores genuinos (por ejemplo, "todos los profesores") tienen alcance. Un 'todo- NP ' desencadena la introducción de una condición compleja de la forma K1 → K2, donde K1 y K2 son sub-DRS que representan la restricción y el alcance de la cuantificación, respectivamente.
A diferencia de los cuantificadores verdaderos, los sintagmas nominales indefinidos simplemente aportan un nuevo DR (junto con algo de material descriptivo en términos de condiciones del DR), que se coloca en una estructura más grande. Esta estructura más amplia puede ser el DRS de nivel superior o algún sub-DRS según el entorno interno de la oración del sintagma nominal analizado; en otras palabras, un nivel que es accesible a una anáfora que viene después.