Languages

You are here

LC

Lógica Computacional

Curso obligatorio, 6 ECTS, 1er cuatrimestre

Profesores:
Pedro Cabalar Fernández 2,3 ECTS 23 h (responsable del curso)
Eduardo Mosqueira Rey 2,2 ECTS 22 h  
César Muñoz Hurtado 1,5 ECTS 15 h  
Descripción:
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.

Descriptores: sistemas lógicos; lógica modal e intuicionista; razonamiento automático; lógica multi-valuada y fuzzy; lógica descriptiva; razonamiento no monótono.

Descripción de las competencias: C1, C2, C3, C6, C7
Objetivos:
  • Ofrecer al alumno una amplia introducción al uso de la Lógica Formal, y en especial, a sus múltiples aplicaciones para la computación avanzada, señalando en cada caso las conexiones existentes con otros cursos del programa.
Bibliografía:
  • D. M. Gabbay and F. Guenthner eds., Handbook of Philosophical Logic, vols. I-IV, Kluwer Academic Publishers.
  • S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, Handbook of Logic in Computer Science, vols. 1-5, Clarendon Press, 1993.
  • D. M. Gabbay, C. J. Hogger and J. A. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, vols. 1-6, Oxford Science Publications.
  • M. Ben-Ari, Mathematical Logic for Computer Science, Springer-Verlag, 2001.
  • G. E. Hughes and M. J. Cresswell, A new introduction to modal logic, Routledge, 1996.
  • E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999.
  • G. Antoniou, Nonmonotonic Reasoning, MIT Press, 1997.
Temario:
Requisitos previos

    Inglés (nivel elemental)

Sistemas de evaluación

La evaluación se llevará a cabo mediante
 
-    Elaboración y exposición oral (actvidad formativa B) de resúmenes de artículos, incluyendo trabajo comparativo y evaluación crítica por parte del alumno. Alternativamente: redacción de informes técnicos (technical reports) que presenten resultados sobre problemas planteados por el responsable del curso.

-    Prueba escrita (actividad formativa E) como alternativa a la exposición oral B.

-    Uno o varios trabajos prácticos en laboratorio (actividad formativa D).

Planificación de actividades formativas, con la dedicación estimada en horas de trabajo del estudiante:



  Actividad formativa Horas
A. Clases magistrales 50
B. Exposición oral 40
E. Prueba objetiva (alternativa a B)
C. Tutorías 10
D. Trabajo práctico 50
TOTAL 6 ECTS x 25 h 150
Idioma(s) empleado(s) :

-    Inglés: actividades formativas A, B.
-    Castellano: actividades formativas C, D y E.

Material:

Referencias para preparación de trabajos:

Enlaces: