| Descrición xeral |
El curso ofrece una descripción exhaustiva de las principales áreas de la Lógica Computacional así como de los métodos y técnicas de razonamiento más habituales. El temario comienza con un breve repaso a los conceptos elementales de sistemas lógicos (deducción, semántica, teoría de prueba, etc) explicados sobre las lógicas clásicas (proposicional y primer orden). También se explica la interrelación entre lógica formal y complejidad, así como algunos conceptos elementales sobre lógica de orden superior (Higher Order Logic, HOL) utilizada, por ejemplo, en sistemas interactivos de prueba de teoremas. En el segundo apartado, se engloban varias aproximaciones relacionadas con la lógica modal, comenzando por una introducción genérica a este tipo de sistemas lógicos, para detallar después algunos casos concretos de utilidad para otros cursos del programa. Este es el caso, por ejemplo, de las lógicas epistémicas (para razonamiento sobre el conocimiento de uno o varios agentes), la lógica Intensional (de uso habitual en procesamiento de lenguaje natural) o las lógicas temporales (de utilidad para la representación de sistemas dinámicos y el uso de herramientas de verificación formal). El tercer tema cubre distintas técnicas generales de razonamiento automático: probadores de teoremas, comprobación por modelos (model checking) y sistemas de tableros semánticos. Este apartado puede conllevar la realización por parte del alumno de uno o varios trabajos prácticos de uso de al menos una herramienta de cada tipo. A continuación se realiza un breve repaso a las lógicas multi-valuadas y, dentro de ellas, se hace especial hincapié en la Lógica Difusa, de aplicación en sistemas de control o en aprendizaje máquina. Los dos últimos apartados se centran en el uso de la lógica formal para la Representación del Conocimiento: en el tema 5, se explican conceptos básicos de ontologías, detallando especialmente las principales características de la Lógica Descriptiva; mientras que en el tema 6, se describen los principales formalismos de Razonamiento no Monótono, incluyendo además una breve introducción a la Revisión de Creencias. |
Asignaturas
