Gramáticas lógicas: resolución de problemas en lenguaje natural

摘要

Esta tesis tiene por objeto estudiar las posibilidadesudde realizar en castellano tareas relativas a la resolución deudproblemas con sistemas basados en el conocimiento.udEn los dos primeros capítulos se plantea un análisis deudla trayectoria seguida por las técnicas de tratamiento deludlenguaje natural, prestando especial interés a losudformalismos lógicos para la comprensión del lenguaje.udSeguidamente, se plantea una valoración de la situaciónudactual de los sistemas de tratamiento del lenguaje natural.udFinalmente, se presenta lo que constituye el núcleo deudeste trabajo, un sistema llamado Sirena, que permite realizarudtareas de adquisición, comprensión, recuperación yudexplicación de conocimiento en castellano con sistemasudbasados en el conocimiento. Este sistema contiene unudsubconjunto del castellano amplio pero simple formalizado conuduna gramática lógica. El significado del conocimiento se basauden la lógica y ha sido implementado en el lenguaje deudprogramación lógica Prolog II vS.udPalabras clave: Programación Lógica, Comprensión del LenguajeudNatural, Resolución de Problemas, Gramáticas Lógicas,udLingüistica Computacional, Inteligencia Artificial.---ABSTRACT---The purpose of this thesis is to study the possibi1 itiesudof performing in Spanish problem solving tasks with knowledgeudbased systems.udUle study the development of the techniques for naturaludlanguage processing with a particular interest in the logicaludformalisms that have been used to understand naturaludlanguages.udThen, we present an evaluation of the current state ofudart in the field of natural language processing systems.udFinally, we introduce the main contribution of our work,udSirena a system that allows the adquisition, understanding,udretrieval and explanation of knowledge in Spanish withudknowledge based systems. Sirena can deal with a large,udalthough simple» subset of Spanish. This subset has beenudformalised by means of a logic grammar and the meaning ofudknowledge is based on logic. Sirena has been implemented inudthe programming language Prolog II v2.udKeywords: Logic Programming, Understanding NaturaludLanguage, Problem Solving, Logic Grammars, CumputationaludLinguistic, Artificial Intelligence.