EXTRACCIÓN DE SIGNIFICADO

➤ En lugar de tener una lambda como significado, en la GCD tenemos como argumentos separados sus componentes: en este caso, uno para la variable y otro para el cuerpo.



➤ El mecanismo de unificación sirve para “componer” el resultado.

               ?- phrase(oraci´on(S),[juan,es,alto]).
               S = alto(juan)



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

Entradas populares de este blog

REGLAS GCD COMO REGLAS EN LÓGICA DE PRIMER ORDEN

SEMÁNTICA COMPOSICIONAL

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