Responsable: | (-) |
Otros: | (-) |
Créditos | Dept. |
---|---|
7.5 (6.0 ECTS) | CS |
Responsable: | (-) |
Otros: | (-) |
Esta asignatura profundizará en los conocimientos generales de la lógica como herramienta fundamental en la informática.
Además se desarrollarán habilidades en algunas áreas de aplicación que permitirán al estudiante crear en poco tiempo sistemas para la resolución de muy diversos problemas prácticos.
Se dedicará especial atención a la programación lógica y a la programación lógica con restricciones.
Horas estimadas de:
T | P | L | Alt | L Ext. | Est | O. Ext. |
Teoria | Problemas | Laboratorio | Otras actividades | Laboratorio externo | Estudio | Otras horas fuera del horario fijado |
|
T | P | L | Alt | L Ext. | Est | O. Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
9,0 | 0 | 6,0 | 0 | 6,0 | 8,0 | 0 | 29,0 | |||
Repaso de lógica proposicional.
Algoritmos: Resolución, Davis-Putnam-Logeman-Loveland, BDD"s. Herramientas: Prolog, Chaff, paquetes de BDD"s. Programación por traducción a SAT y uso de las herramientas asociadas. Ejemplos de aplicaciones: problemas de horarios, etc.
|
|
T | P | L | Alt | L Ext. | Est | O. Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
12,0 | 0 | 8,0 | 0 | 4,0 | 6,0 | 0 | 30,0 | |||
Repaso de lógica de primer orden.
Algoritmos: Resolución y sus restricciones, deducción automática. Métodos basados en resolución: programación lógica, bases de datos deductivas.
|
|
T | P | L | Alt | L Ext. | Est | O. Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
6,0 | 0 | 4,0 | 0 | 8,0 | 10,0 | 0 | 28,0 | |||
Fundamentos: resolución SLD.
Optimizaciones: tipos de datos predefinidos, entrada-salida. Diseño de programas declarativos. Estructuras de datos avanzadas en programación lógica.
|
|
T | P | L | Alt | L Ext. | Est | O. Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
9,0 | 0 | 6,0 | 0 | 6,0 | 9,0 | 0 | 30,0 | |||
¿Cómo obtener la flexibilidad y rapidez en la expresión del problema característica de la programación lógica, y a la vez tener la eficiencia del uso de resolvedores especializados para los enteros, los reales, dominios finitos, etc.?
CLP(X) y dominios, Maneras de reducir el espacio de búsqueda. Problemas lógicos con restricciones de otros dominios. Ejemplo: asignación de recursos, horarios. Búsqueda de soluciones óptimas con CLP. CLP(X) y dominios, Maneras de reducir el espacio de búsqueda. Problemas lógicos con restricciones de otros dominios. Ejemplo: horarios (revisited). Búsqueda de soluciones óptimas con CLP.
|
|
T | P | L | Alt | L Ext. | Est | O. Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
4,0 | 0 | 4,0 | 0 | 4,0 | 4,0 | 0 | 16,0 | |||
Algunos problemas representables en lógica proposicional y en lógica de primer orden.
Verificación de circuitos. Verificación de protocolos criptográficos. Representación de sistemas de estados finitos.
|
Total por tipo | T | P | L | Alt | L Ext. | Est | O. Ext. | Total |
42,0 | 0 | 28,0 | 0 | 28,0 | 37,0 | 0 | 135,0 | |
Horas adicionales dedicadas a la evaluación | 4,0 | |||||||
Total horas de trabajo para el estudiante | 139,0 |
Habrá 3 horas semanales de teoría y/o problemas (para evitar una excesiva rigidez en la planificación, no hay un número fijo de horas por semana para problemas, ni clases específicas de sólo problemas).
Se fomentará el trabajo autónomo por parte del estudiante. El papel del profesor, que siempre estará presente en las 2 horas semanales de laboratorio, será en gran medida de consultor/evaluador de los trabajos que el estudiante realizará de forma autónoma a partir de un enunciado suficientemente específico.
Habrá un nota de teoría, obtenida del examen escrito, con un peso del 60%.
La nota de laboratorio (40%) se obtendrá a partir de la evaluación de las sucesivas entregas de los ejercicios en las clases de laboratorio (se prevé que sean unas cuatro entregas), aunque habrá una posibilidad opcional de mejora de esta nota, o de recuperación de cualquier suspenso, mediante un examen al final del cuatrimestre.
Se trata de una asignatura bastante autocontenida, que no requiere muchos conocimientos previos.
Se requieren conocimientos básicos de lógica, a nivel de la asignatura de IL, aunque en LI se realizará un amplio repaso de estos contenidos, con una visión más orientada a las aplicaciones en la informática.
Es deseable, pero no imprescindible, tener conocimientos de las estructuras de datos y algoritmos básicos (Pred).