Créditos ECTS Créditos ECTS: 6
Horas ECTS Criterios/Memorias Horas de Tutorías: 1 Clase Expositiva: 20 Clase Interactiva: 30 Total: 51
Lenguas de uso Castellano (28%), Gallego (71%)
Tipo: Materia Ordinaria Grado RD 1393/2007 - 822/2021
Departamentos: Filosofía y Antropología
Áreas: Lógica y Filosofía de la Ciencia
Centro Escuela Técnica Superior de Ingeniería
Convocatoria: Segundo semestre
Docencia: Con docencia
Matrícula: Matriculable | 1ro curso (Si)
1) Conocer los conceptos fundamentales de la lógica proposicional y de primer orden y saber manejar las reglas de inferencia y equivalencias lógicas de cuantificación para la realización de pruebas formales.
2) Conocer y saber aplicar razonadores basados en lógica proposicional y de primer orden, así como los mecanismos de inferencia para derivar nuevo conocimiento.
3) Identificar aqueles problemas en los que la lógica tiene ventaja sobre otras técnicas de representación del conocimiento.
4) Comprender los conceptos básicos de la Programación Lógica (unificación, resolución, negación) y demostrar en que medida su aplicación favorece un desarrollo de aplicaciones en Inteligencia Artificial.
DOCENCIA EXPOSITIVA
BLOQUE I. Lógica proposicional
I.1 Nociones fundamentales: formalización, sintaxis y semántica
I.2 Reglas de equivalencia y operadores lógicos
I.3 Mecanismos de resolución: tablas de verdad y dedución natural
BLOQUE II. Lógica de Primeira Orde
II.1 Nociones fundamentales: formalización, sintaxis, semántica y cuantificadores
II.2 Operadores lógicos
II.3 Indecibilidad de la lógica de primer orden
II.4 Mecanismos de resolución: dedución natural
BLOQUE III. Programación Lógica
III.1 Generación de respuestas
III.2 Cláusulas de Horn
III.3 Estrategias de evaluación
DOCENCIA INTERACTIVA
BLOQUE I. Ejercicios de Lógica Proposicional
I.1 Formalización de argumentos en linguaje natural
I.2 Construcción de tablas de verdad y resolución de ejercicios mediante dedución natural
BLOQUE II. Exercicios de Lógica de Primer Orden
II.1 Formalización de argumentos con cuantificadores
II.2 Resolución de ejercicios mediante dedución natural
II.3 Pruebas de teoremas
BLOQUE III. Ejercicios de Prolog
III.1 Elaboración de pequeños programas en Prolog
III.2 Análisis de trazas
BIBLIOGRAFÍA BÁSICA
Bratko, I. 2001, Prolog: programming for artifical intelligence, 3rd ed edn, Addison-Wesley, Harlow, England.
Schöning, U. 1989, Logic for computer scientists, 1st ed edn, Birkhäuser, Boston.
BIBLIOGRAFÍA COMPLEMENTARIA
Ben-Ari, M. 2012, Mathematical logic for computer science, 3rd edition edn, Springer London, London.
Deaño, A. 1975, Introducción a la lógica formal, 2ª ed. en Alianza Universidad edn, Alianza, Madrid.
Falguera, J.L. & Martínez Vidal, C. 1999, Lógica clásica de primer orden, estrategias de deducción, formalización y evaluación semántica, Trotta, Madrid.
Huth, M. & Ryan, M. 2000, Logic in computer science: modelling and reasoning aboutsystems, Cambridge University, Cambridge, UK.
Kneale, W. & Kneale, M. 1972, El Desarrollo de la lógica, Tecnos, Madrid.
Russell, S.J. & Norvig, P. 2010, Artificial Intelligence - A Modern Approach, Third International Edition, Pearson Education.
COMPETENCIAS BÁSICAS Y GENERALES DE LA MATERIA EN EL GRADO
CB2) Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio.
CB4) Que los estudiantes puedan transmitir información, ideas, problemas y soluciones a un público tanto especializado como no especializado.
CB5) Que los estudiantes desarrollen aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grao de autonomía.
CX2) Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad.
CX4) Capacidad para seleccionar y justificar los métodos y técnicas adecuadas para resolver un problema concreto, o para desarrollar y proponer nuevos métodos basados en Inteligencia Artificial.
CX5) Capacidad para concebir nuevos sistemas computacionales y/o evaluar el rendimiento de sistemas existentes, que integren modelos y técnicas de Inteligencia Artificial.
COMPETENCIAS TRANSVERSALES DE LA MATERIA EN EL GRADO
TR1) Capacidad para comunicar y transmitir sus conocimientos, habilidades y destrezas.
TR2) Capacidad de trabajo en equipo, en entornos interdisciplinares e gestionando conflictos.
TR3) Capacidad para crear nuevos modelos y soluciones de forma autónoma y creativa, adaptándose a nuevas situaciones. Iniciativa y espíritu emprendedor.
COMPETENCIAS ESPECÍFICAS DA MATERIA NO GRAO
CE5) Capacidad para comprender e dominar los conceptos de la lógica, gramáticas e lenguajes formales para analizar e mejorar las soluciones basadas en Inteligencia Artificial.
CE20) Conocer las tecnologías semánticas para el almacenamiento y acceso de grafos de conocimiento y su uso en la resolución de problemas.
CE21) Conocer los fundamentos de las técnicas de razonamiento aproximado y de toma de decisiones, en ambientes de incertidumbre, seleccionando la más adecuada para a resolución de los problemas.
Estos objetivos y competencias se alcanzan con el conjunto de actividades previstas para el seguimiento de la materia, y serán evaluados a través de las pruebas previstas para la evaluación de la docencia expositiva y la docencia interactiva.
DOCENCIA EXPOSITIVA
Combinación de clases teóricas de exposición magistral, abiertas a la participación y al debate, con clases de trabajo cooperativo informal.
DOCENCIA INTERACTIVA
Realización de boletines de ejercicios para cada uno de los bloques. Durante las sesiones presenciales, se resolverán en el aula una selección de los ejercicios propuestos en los boletines y se discutirán todas las dudas que surgan a raíz de los mismos.
La metodología de evaluación se basa en la evaluación continua, lo que requiere de la realización de una serie de actividades a lo largo del semestre. En la tabla siguiente se especifican las categorías de actividades que van a ser objeto de evaluación con su peso correspondiente en la cualificación de la materia (expresado en %) así como las competencias con las que se relacionan:
Competencia evaluada Actividad Porcentaje
CB4, CB5, TR1, CE5, CE21 Prueba final 60%
CE5, CE20, CE21 Boletines de ejercicios 20%
CX2, CX4, CX5, CB4, TR2, TR3 Realización de prácticas y entrega de memorias 20%
Las actividades de “Boletín de ejercicios” y “Realización de prácticas y entrega de memorias” no serán recuperables en las pruebas parciales o finales, por lo que es imprescindible que se vayan entregando en las fechas indicadas en el Campus Virtual de la materia. En el caso de no superar la materia en la 1ª oportunidad, se conservarán todas las calificaciones obtenidas para la 2ª oportunidad.
La calificación de “no presentado” se otorgará cuando no se realice la prueba final. La entrega de alguno de los boletines de ejercicios o de memorias de prácticas, aún siendo evaluables, no permiten superar la materia, por eso no se tienen en cuenta para otorgar esta calificación.
Criterios de evaluación de las distintas actividades:
- La prueba final estará compuesta por una combinación de preguntas de respuesta corta (tipo test, definición de conceptos, etc.) y preguntas que requieren de una respuesta más elaborada (resolución de problemas, etc.) de los contenidos de la materia.
- Los boletines de ejercicios estarán compuestos por actividades que tendrán que ser resueltas individualmente y entregadas a través del Campus Virtual. Los ejercicios resueltos correctamente puntuarán positivamente. El objetivo de estos boletines es que el alumnado pueda evaluar regularmente la comprensión de la materia y solucionar sus dudas lo más pronto posible.
- Las prácticas de Programación Lógica consistirán en actividades de aprendizaje cooperativa (tanto formal como informal) en las se harán tareas en grupo. Estas entregas, además de la tarea resulta en si, deberán ir acompañadas de una memoria (la extensión final variará en función de la tarea) que documente la actividad realizada.
Las fechas de realización y entrega de todas las actividades serán anunciadas con la antelación suficiente en el Campus Virtual.
El alumnado con "dispensa académica" será evaluado con los mismos criterios y ponderaciones que se indicaron, pero con la siguiente adaptación: en lugar de hacer prácticas y entregas de memoria en grupo durante las sesiones interactivas, podrá realizar una selección de estas prácticas, acordadas con el profesor, donde la extensión máxima del trabajo será determinada en función de la misma. Las fechas de entrega de estas actividades serán acordadas con el profesor y la extensión máxima del trabajo será determinado en función de la misma. Las fechas de entrega también se acordarán con el profesor y podrán variar con respecto al calendario indicado en la guía docente. En todo caso, se recomienda que el alumnado en esta situación se ponga previamente en contacto con el profesor de la materia.
Se recuerda al alumnado que la penalización por plagio en la realización de trabajos, recogida en la “Normativa de avaliación do rendemento académico dos estudantes e de revisión de cualificacións”, aprobada en Consello de Goberno del 15 de junio de 2011, en el artículo 16, dice: "La realización fraudulenta de algún ejercicio o prueba exigida en la evaluación de una materia implicará la calificación de suspenso en la convocatoria correspondiente, con independencia del proceso disciplinario que se pueda seguir contra el alumno infractor. Se considerará fraudulenta, entre otras, la realización de trabajos plagiados o obtenidos de fuentes accesibles al público sin reelaboración o reinterpretación y sin citas a los autores y las fuentes".
6 créditos ECTS
Clases Expositivas 20h
Clases Interactivas 30h
Horas de Tutorías 1h
Horas presenciales 51h
Horas non presenciales 99h
Trabajo total do estudiante 150h
Docencia expositiva: 20 horas de trabajo presencial del estudiante (asistencia a clase) e 45 de seguimiento y preparación de la docencia expositiva (lectura y repaso diario de lo visto en clase, preparación de esquemas y estudio regular de la materia).
Docencia interactiva: 30 horas de trabajo presencial del estudiante (asistencia a las clases, participación activa en las mesmas y realización de las prácticas) y 50 horas de preparación de los boletines de ejercicios y elaboración de las memorias de prácticas.
Actividades tutoriales: 1 hora para la resolución de dudas y planificación de las tareas a realizar.
Total: 51 horas de trabajo presencial e 99 de trabajo personal.
1) Asistencia diaria a las clases.
2) Lectura diaria, previa o posterior a clase, de los temas que se van tratando en el aula.
3) Realización dos boletines de ejercicios.
4) Estudio sistemático y regular de los temas y textos de la materia.
5) Programar y preparar, con la antelación suficiente, las distintas actividades correspondientes a la docencia interactiva de la materia.
6) Utilización de las horas de atención al alumnado para resolver dudas, problemas y todo tipo de preguntas relacionadas con la materia.
Martin Pereira Fariña
- Departamento
- Filosofía y Antropología
- Área
- Lógica y Filosofía de la Ciencia
- Teléfono
- 881812525
- Correo electrónico
- martin.pereira [at] usc.es
- Categoría
- Profesor/a: Profesor Contratado/a Doctor
Alejandro Gracia Di Rienzo
- Departamento
- Filosofía y Antropología
- Área
- Lógica y Filosofía de la Ciencia
- Correo electrónico
- alejandro.gracia.dirienzo [at] usc.es
- Categoría
- Predoutoral Ministerio
| Lunes | ||
|---|---|---|
| 11:00-12:00 | Grupo /CLE_01 | IA.11 |
| 12:00-14:30 | Grupo /CLIL_02 | IA.11 |
| Martes | ||
| 11:00-12:00 | Grupo /CLE_01 | IA.11 |
| 12:00-14:30 | Grupo /CLIL_01 | IA.11 |
| Miércoles | ||
| 12:00-14:30 | Grupo /CLIL_03 | IA.11 |
| 22.05.2024 09:15-14:00 | Grupo /CLE_01 | Aula A2 |
| 22.05.2024 09:15-14:00 | Grupo /CLIL_01 | Aula A2 |
| 22.05.2024 09:15-14:00 | Grupo /CLIL_02 | Aula A2 |
| 22.05.2024 09:15-14:00 | Grupo /CLIL_03 | Aula A2 |
| 09.07.2024 09:15-14:00 | Grupo /CLE_01 | Aula A2 |
| 09.07.2024 09:15-14:00 | Grupo /CLIL_01 | Aula A2 |
| 09.07.2024 09:15-14:00 | Grupo /CLIL_02 | Aula A2 |
| 09.07.2024 09:15-14:00 | Grupo /CLIL_03 | Aula A2 |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| GRACIA DI RIENZO, ALEJANDRO | Castellano |
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| GRACIA DI RIENZO, ALEJANDRO | Castellano |
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| GRACIA DI RIENZO, ALEJANDRO | Castellano |
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |
| Docente | Idioma |
|---|---|
| PEREIRA FARIÑA, MARTIN | Gallego |