Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Lóxica Computacional | Código | 614434004 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Mestrado Oficial | 1º cuadrimestre |
Primeiro | Obrigatoria | 6 | ||||||||||
|
Temas | Subtemas |
Introducción a los sistemas lógicos | Lógica Proposicional y Lógica de Primer Orden Satisfactibilidad (SAT) y complejidad Lógicas de Orden Superior |
Lógica modal e intuicionista | Introducción a la lógica modal Lógicas epistémicas Lógicas temporales: lógica temporal lineal, CTL*, lógica dinámica Lógica intensional Lógica intuicionista |
Razonamiento automático | Probadores de teoremas Model checking Tableros semánticos |
Lógicas multivaluadas. Lógica Fuzzy | Lógicas multivaluadas Lógica Fuzzy |
Lógica Descriptiva y Ontologías | Lógica Descriptiva y Ontologías |
Razonamiento no monótono y revisión de creencias | Circunscripción Lógica Default Lógica modal no monótona Revisión de creencias |