FRASES CON DETERMINANTES TODO Y ALGÚN



➤ En la lógica de primer orden, estos determinantes se corresponden con los cuantificadores universal y existencial.

Ejemplos:

          ⏩ “Todo andaluz come pescado”:

                       ∀x[andaluz(x) ! come(x, pescado)]

          ⏩ “Algún informático tiene dinero”:

                        ∃x[informatico(x) ^ tiene(x, dinero)]

➤ En la GCD que veremos a continuación se define su
significado ası:

                         determinante(X,Prop,SSV,existe(X, Prop y SSV)) ⟶ [algún].
                         determinante(X,Prop,SSV,para_todo(X, Prop => SSV))⟶ [todo].

➤ El significado de estos determinantes es un “esqueleto” de fórmula lógica, que se irá concretando a medida que se analice la frase.









F.J., M., & Ruiz Reina, J. (2012-2013). Procesamiento del Lenguaje Natural. Recuperado el 21-23 de 04 de 2017, de Procesamiento del Lenguaje Natural: https://www.cs.us.es/cursos/ia2/temas/tema-06.pdf






Comentarios

Publicar un comentario

Entradas populares de este blog

REGLAS GCD COMO REGLAS EN LÓGICA DE PRIMER ORDEN

Imagen
➤ Cada regla de la gramática se puede convertir a una regla lógica (cláusula definida) en la que cada sımbolo no terminal se corresponde con un predicado con los mismos argumentos más un argumento adicional que representa la sublista de palabras que se analiza según la categorıa gramatical que representa el sımbolo. Ejemplo : la regla              sintagma_nominal(N) ⟶ determinante(G,N),nombre(G,N). Se traduce a la regla lógica:               determinante(G,N,S1) ∧ nombre(G,N,S2)                                          → sintagma_nominal(N,S1@S2) (aquı @ representa concatenación) ➤ Para las reglas correspondientes a sımbolos terminales, la traducción es algo distinta. Ejemplo : la regla             nombre(G,N) ⟶ [P],{es_nombre(P,G,N)}. Se traduce a la regla ló...
Leer más

SEMÁNTICA COMPOSICIONAL

Imagen
➤ Hipótesis composicional: el significado de una categorıa sintáctica se obtiene a partir del significado de las subcategorıas que lo componen. ➤ Esta hipótesis no siempre es cierta, pero simplifica el análisis semántico. ➤ Pasando parte del trabajo a la fase de eliminación de ambigüedades. F.J., M., & Ruiz Reina, J. (2012-2013). Procesamiento del Lenguaje Natural. Recuperado el 21-23 de 04 de 2017, de Procesamiento del Lenguaje Natural: https://www.cs.us.es/cursos/ia2/temas/tema-06.pdf
Leer más

GRAMÁTICAS DE CLÁUSULAS DEFINIDAS Y SLD-RESOLUCIÓN

Imagen
➤ Con esa visión de una GCD como un conjunto de reglas, el analizar sintácticamente según una GCD puede reducirse a deducir usando SLD-resolución. ➤ Las GCDs surgen como una extensión al lenguaje Prolog. ➤ De hecho, se pueden escribir tal cual en cualquier intérpretede Prolog, y de esa manera se tiene directamente un analizador sintáctico, usando el predicado phrase (y considerando que las frases como listas de palabras):                ?- phrase(oración,[la,profesora,lee,un,libro]).                 Yes                ?- phrase(oración,[las,profesores,lee,los,libro]).                  No ➤ Incluso tenemos un generador de frases del lenguaje:                 ?- phrase(oración,L).                     L=[la,profesora,le...
Leer más