Semántica Introducción Representación del significado Interpretación semántica Introduction: marc general i la motivació d’aquest treball

Semántica 1 La Semántica trata del significado de las oraciones. La Interpretación Semántica (IS) es el proceso de extracción de dicho significado. oración en LN forma lógica información contextual representación del significado determinación del significado correcto de cada palabra combinación de dichos significados para formar una forma lógica

Semántica 2 La Semántica ha de ser compositiva. Es decir, la representación semántica de un objeto debe poder realizarse a partir de la de sus componentes. Debe utilizarse una teoría, no basarse en una Semántica "ad-hoc". Se deben utilizar objetos semánticos. Se debe definir un Sistema de Representación Semántico. Debe existir un mecanismo de interfaz entre Sintaxis y Semántica. La IS debe ser capaz de tratar fenómenos complejos como la cuantificación, la predicación en sus diversas formas, modalidades, negación, etc... La IS debe ser robusta frente a las ambigüedades léxica (polisemia) y sintáctica. S.R. no ambiguo. El sistema de representación debe soportar inferencias (herencia, conocimiento no explícito, etc...).

Semántica Compositiva 1 Añadir un rasgo “sem” a cada regla incontextual S  NP loves NP S[sem=loves(x,y)]  NP[sem=x] loves NP[sem=y] El significado de S depende del on meaning of significado de los NPs NP V loves VP S x y loves(x,y) NP the bucket V kicked VP S x died(x)

Semántica Compositiva 2 En vez de S  NP loves NP S[sem=loves(x,y)]  NP[sem=x] loves NP[sem=y] Lo mismo para el resto de la gramática y lexicón: V[sem=loves]  loves VP[sem=v(obj)]  V[sem=v] NP[sem=obj] S[sem=vp(subj)]  NP[sem=subj] VP[sem=vp] Ejemplo George loves Laura sem=loves(Laura)(George) Versión muy restrictiva de un intérprete semántico IS bottom-up Gramática CNF Cada nodo dos hijos: 1 función & 1 argumento Para obtener la "sem" aplicar la función al argumento

La Representación del significado 1 entrada: ¿Quién dirige el PSOE? forma lógica: (pregunta (referente (X)) ( X instancia (X, persona) (el1 (Y instancia(Y, partido) nombre(Y, "PSOE")) (Z instancia(Z, dirigir) presente(Z) valor_prop(Z, agente, X) valor_prop(Z, paciente,Y)))))

La Representación del significado 2 En esta fórmula se incluyen cuatro tipos diferentes de información: Estructura lógica Contenido conceptual Indicación de los actos de habla Anotaciones pragmáticas El formalismo debiera ser capaz de proporcionar una capacidad expresiva suficiente para garantizar la descripción de estos cuatro tipos de información.

Las representaciones basadas en lógica. Un vocabulario de predicados de los que deberemos indicar su aridad (es decir el número de argumentos y, en ciertos casos, su tipo). Un vocabulario de constantes y variables. Un conjunto de conectores lógicos. Un vocabulario de funciones de las que indicaremos asimismo la aridad. Un conjunto de cuantificadores que actuarán sobre los predicados que deban, o puedan, ser cuantificados.

Objetos Tres tipos: Booleanos Entidades Funciones valor semántico (p.ej. valor de certeza) de las oraciones Entidades Objetos (ejemplares de clases), NPs Especificaciones de espacio y tiempo Funciones Predicados – Retornan un booleano Las funciones pueden retornar otras funciones Las funciones pueden tomar otras funciones como argumentos

Funciones 1 Uso de  expresiones para denotar funciones nombres el gato g gato(g) adjetivos el gato negro y gordo g gato(g)  negro(g)  gordo(g) otros modificadores el gato de Pepe g gato(g)  pertenece_a(g,pepe)

Funciones 2 Aridad de los predicados predicado unario sobre entidades g gato(g) predicado binario sobre 2 entidades g pertenece_a(g,pepe) predicado binario sobre 2 predicados unarios sobre entidades casi todos los gatos maúllan casi_todos(g gato(g), g maullar(g)) Lo mismo con otros cuantificadores: todos () existe un ()

problemas básicos de la representación Ambito de la cuantificación Referencia intrasentencial Cláusulas subordinadas Negación y su ámbito Conjunción Ambigüedad léxica y referencial un gato come un pescado ( X:gato ( Y:pescado comer (X, Y)))

La Representación del significado 3 ¿Qué otras informaciones, aparte del tipo de las variables, deben poder ser representadas? En general toda la información presente en la oración y que vaya a poder ser explotada. Así, para Allen, una forma que deba representar un grupo nominal cuantificado o determinado constará de cuatro elementos, el último de ellos opcional: 1 Operador 2 Variable 3 Tipo 4 Modificadores

La Representación del significado 4 el niño (DEF/SING N1 NIÑO) el niño grande (DEF/SING N1 NIÑO (GRANDE N1)) Cada niño comió un gran pastel (PAST C1 COMER (AGENT C1 (EACH N1 NIÑO)) (THEME C1 (INDEF/SING P1 PASTEL (GRANDE P1)))) La llegada de Juan a la estación (DEF/SING L1 LLEGADA (AGENT L1 (NAME J1 PERSONA "Juan")) (TO-LOC L1 (DEF/SING E1 ESTACION))) Juan llegó a la estación (PAST L1 LLEGAR

La Representación del significado 5 modelos de actantes Asociados al verbo, que constituye el núcleo de la oración, se colocan, como modificadores las fórmulas que corresponden a los diferentes casos: agentivo, instrumento, tema, paciente, beneficiario, locativo, temporal etc...

Las redes semánticas 1 grafos dirigidos etiquetados nodos ==> conceptos (clases o tipos) u objetos (ejemplares o instancias) arcos ==> relaciones binarias (predicados binarios) entre los conceptos. Quillian (1968), Simmons (1973) S.R.C. basados en redes semánticas SNePS de Shapiro Redes particionadas de Hendrix KL-ONE de Brachman Estructuración global de la BC. reglas de inferencia (por ejemplo la herencia) dimensiones de estructuración Clasificación Generalización Agregación Partición

Las redes semánticas 2 Ventajas Limitaciones Visibilidad. Estructura asociativa. Acceso rápido. Facilidad para la búsqueda y la realización de inferencias. Posibilidad de representar propiedades generales o información concreta. Posibilidad de realización de procesos de matching complejos. Limitaciones La dificultad de representar relaciones de aridad mayor que dos (no unarias ni binarias). La dificultad de incluir en el formalismo conectivos lógicos como la negación, la disyunción (asumiendo la conjunción como regla por defecto), la implicación, etc... La dificultad de representar la cuantificación.

Frames 1 situaciones estereotípicas descriptores clases y ejemplares descriptores y relaciones. facetas herencia de propiedades formas más sofisticadas de inferencia el coche rojo: No todo el coche es rojo sino (presumiblemente) la parte externa de su carrocería un vaso de vino de arroz = una cantidad de arroz cuyo volumen fuera el que posee un vaso de vino información procedimental niveles de granularidad y abstracción 350 gr. de verdura en juliana, fruta del tiempo. fresas, grosellas y frambuesas. primitivas semánticas objetos no estándar.

Frames: objetos no estándar 1 Conjuntos y disjuntos de objetos simples: Enumeración: tres zanahorias, sal y pimienta Referencia global: fruta del tiempo, ajo y perejil picados cuantificación: media cucharadita de cada una de las especias disjunciones: una patata grande o dos pequeñas listas no exhaustivas: almejas, escupiñas, etc...

Frames: objetos no estándar 2 Objetos no individualizables, cantidades. Masas: 3 Kg de arroz Métricas no estándar: una taza de arroz Unidades vagas: una pizca de comino, algo de sal, salpimentar calificadores: una cucharada de café colmada niveles de exactitud: 2 ó 3 dientes de ajo, unas cuantas cebollitas

Frames: objetos no estándar 3 Propiedades de la substancia: fruta madura de la forma: una manzana grande negativas: aceitunas sin hueso Estados, procesos, acciones, sucesos trocear, machacar, moler, hornear durante media hora, mezclar, salpimentar, agitar, cocer hasta que esté a punto

Los grafos de dependencia conceptual Redes semánticas en las cuales los nodos y arcos pertenecen a un conjunto de categorías primitivas, fijas. comprensión de un texto ==> cadena causal completa Los elementos de la cadena son conceptualizaciones y están ligados por relaciones causales. la base del formalismo de Schanck es una gramática de dependencias. La representación gira en torno a las acciones y se asocia a la estructura profunda PP correspondientes a los nombres ACT correspondientes a las acciones PA correspondientes a los adjetivos AA correspondientes a los adverbios

conceptualizaciones 1 Actor: Un actor actúa (corresponde al caso agentivo) PP ACT Objetivo: Una acción persigue un objetivo Recipiente: Transición en la posesión de un objeto:

conceptualizaciones 2 Directivo: Puntos inicial y final de una acción: Instrumento:

primitivas semánticas Acciones físicas: MOVE, PROPEL, EXPEL, GRASP, INGEST: Un actor X pasa un objeto Y desde una posición externa W a una interna Z de un cuerpo físico. Cambios de estado: PTRANS: Traslado físico ATRANS: Cambio en relación abstracta Instrumentos: SPEAK: Emitir un sonido ATTEND: Dirigir un sentido hacia un estímulo Acciones mentales: MTRANS: Transferir información MBUILD: Combinación

Ejemplo "Juan está corriendo"