Créditos ECTS Créditos ECTS: 6
Horas ECTS Criterios/Memorias Horas de Titorías: 1 Clase Expositiva: 20 Clase Interactiva: 30 Total: 51
Linguas de uso Castelán, Galego
Tipo: Materia Ordinaria Grao RD 1393/2007 - 822/2021
Departamentos: Filosofía e Antropoloxía
Áreas: Lóxica e Filosofía da Ciencia
Centro Escola Técnica Superior de Enxeñaría
Convocatoria: Segundo semestre
Docencia: Con docencia
Matrícula: Matriculable | 1ro curso (Si)
- Coñecer os conceptos fundamentais da lóxica proposicional e de primeira orde e saber manexar as regras de inferencia e equivalencias lóxicas de cuantificación para a realización de probas formais.
- Coñecer e saber aplicar razoadores baseados nas lóxicas proposicional e de primeira orde, así como os mecanismos de inferencia que para derivar novo coñecemento.
- Identificar aqueles problemas nos que a lóxica ten vantaxe sobre outras técnicas de representación do coñecemento.
- Comprender os conceptos básicos da Programación Lóxica (unificación, resolución, negación) e demostrar en que medida a súa aplicación favorece o desenvolvemento de aplicacións en Intelixencia Artificial.
DOCENCIA EXPOSITIVA
Introdución. Análise cognitiva das linguaxes formais.
BLOQUE I. Lóxica proposicional
I.1 Nocións fundamentais: formalización, sintaxe e semántica.
I.2 Operadores lóxicos, regras de equivalencia e formas normais
I.3 Táboas de verdade e dedución natural
BLOQUE II. Lóxica de Primeira Orde
II.1 Nocións fundamentais: formalización, sintaxe, semántica e cuantificadores.
II.2 Operadores lóxicos
II.3 Dedución natural
II.4 Formais normais, formas prenex, formas de Skolem e Teoría de Herbrand
BLOQUE III. Programación Lóxica
III.1 Lóxica clausal e resolución
III.2 Xeración de respostas
III.3 Cláusulas de Horn
III.4 Estratexias de avaliación
DOCENCIA INTERACTIVA
BLOQUE I. Exercicios de Lóxica Proposicional
I.1 Formalización de argumentos en linguaxe natural
I.2 Construción de táboas de verdade e resolución de exercicios mediante dedución natural
BLOQUE II. Exercicios de Lóxica de Primeira Orde
II.1 Formalización de argumentos con cuantificadores
II.2 Resolución de exercicios mediante dedución natural
II.3 Probas de teoremas
BLOQUE III. Exercicios de Prolog
III.1 Elaboración de pequenos programas en Prolog
III.2 Análise de trazas
BIBLIOGRAFÍA BÁSICA
- Bratko, I. (2001). Prolog: programming for artifical intelligence (3rd ed ed.). Addison-Wesley.
- Deaño, A. (1975). Introducción a la lógica formal (2ª ed. en Alianza Universidad ed.). Alianza.
- Dutilh Novaes, C. (2012). Formal languages in logic (1. publ. ed.). Cambridge Univ. Press.
- Schöning, U. (1989). Logic for computer scientists (1st ed ed.). Birkhäuser.
BIBLIOGRAFÍA COMPLEMENTARIA
- Alsinet Bernadó, T. (2003). Logic programming with fuzzy unification and imprecise constants : possibilistic semantics and automated deduction / Teresa Alsinet ; foreword by Lluís Godo. Consell Superior d'Investigacions Científiques, Institut d'Investigació en Intelligència Artificial.
- Badesa, C., Jané, I., & Jansana Ferrer, R. (1998). Elementos de lógica formal. Ariel.
- Ben-Ari, M. (2012). Mathematical logic for computer science (3rd edition ed.). Springer London.
- Copi, l. M. (2019). Introducción a la lógica. Eudeba.
- 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.
- Fu, Y., & Liang, K. (2020). Fuzzy logic programming and adaptable design of medical products for the COVID-19 anti-epidemic normalization. Computer Methods and Programs in Biomedicine, 197, 105762. 10.1016/j.cmpb.2020.105762
- Garrido, M. (2001). Lógica simbólica / Manuel Garrido (4th ed.). Tecnos.
- Huth, M., & Ryan, M. (2000). Logic in computer science: modelling and reasoning aboutsystems. Cambridge University.
- Kneale, W., & Kneale, M. (1972). El Desarrollo de la lógica. Tecnos.
- Russell, S. J., & Norvig, P. (2010). Artificial Intelligence - A Modern Approach, Third International Edition. Pearson Education.
COMPETENCIAS BÁSICAS E XERAIS DA MATERIA NO GRAO
CB2) Que os estudantes saiban aplicar os seus coñecementos ao seu traballo ou vocación dunha forma profesional e posúan as competencias que adoitan demostrarse por medio da elaboración e defensa de argumentos e a resolución de problemas dentro da súa área de estudo.
CB4) Que os estudantes poidan transmitir información, ideas, problemas e solucións a un público tanto especializado como non especializado.
CB5) Que os estudantes teñan desenvolto aquelas habilidades de aprendizaxe necesarias para emprender estudos posteriores con un alto grao de autonomía.
CX2) Capacidade para resolver problemas con iniciativa, toma de decisións, autonomía e creatividade.
CX4) Capacidade para seleccionar e xustificar os métodos e técnicas adecuadas para resolver un problema concreto, ou para desenvolver e propoñer novos métodos baseados en Intelixencia Artificial.
CX5) Capacidade para concibir novos sistemas computacionais e/ou avaliar o rendemento de sistemas existentes, que integren modelos e técnicas de Intelixencia Artificial.
COMPETENCIAS TRANSVERSAIS DA MATERIA NO GRAO
TR1) Capacidade para comunicar e transmitir os seus coñecementos, habilidades e destrezas.
TR2) Capacidade de traballo en equipo, en entornas interdisciplinares e xestionando conflitos.
TR3) Capacidade para crear novos modelos e solucións de forma autónoma e creativa, adaptándose a novas situacións. Iniciativa e espírito emprendedor.
COMPETENCIAS ESPECÍFICAS DA MATERIA NO GRAO
CE3 - Capacidade para comprender e dominar os conceptos básicos da lóxica, gramáticas e linguaxes formais para analizar e mellorar as solucións baseadas en Intelixencia Artificial.
CE13 - Capacidade de modelar e deseñar sistemas baseados en representación do coñecemento e razomanento lóxico ou aproximado e aplicalas a diferentes dominios e problemas, tamén en contextos de incertidume.
CE14 - Coñecer as tecnoloxías semánticas para o almacenamento e acceso de grafos de coñecemento e o seu uso na resolución dos problemas.
Estes obxectivos e competencias alcánzase co conxunto de actividades previstas para o seguimento da materia, e serán avaliados a través das probas previstas para a avaliación da docencia expositiva e a docencia interactiva.
Docencia expositiva: combinación de clases teóricas de exposición maxistral, abertas á participación e ao debate, con clases de traballo cooperativo informal.
Docencia interactiva: realización de boletíns de exercicios para cada un dos bloques. Durante as sesións presenciais, resolveranse na aula unha selección dos exercicios propostos nos boletíns e se discutirán todas as dúbidas que xurdan a raíz dos mesmos.
Actividade titorial: programación dunha sesión de titorías grupais para a posta en común dos problemas que teñan xurdido da realización dos boletíns e das prácticas.
A metodoloxía de avaliación desta materia baséase na avaliación continua, o que require da realización dunha serie de actividades ao longo do semestre. Na seguinte táboa especifícanse as categorías de actividades que van ser obxecto de avaliación co seu peso correspondente na cualificación da materia (expresado en %) así como as competencias cas que se relacionan:
Competencia avaliada Actividade Porcentaxe
CB4, CB5, TR1, CE5, CE21 Proba final 60%
CE3, CE13, CE14 Boletíns de exercicios 20%
CX2, CX4, CX5, CB4, TR2, TR3 Realización de práctias e entrega de memorias 20%
Para superar a materia é imprescindible obter unha cualificación mínima de 5 puntos no cómputo global avaliación.
As actividades de “Boletín de exercicios” e “Realización de prácticas e entrega de memorias” non serán recuperables nas proba final, polo que é imprescindible que se vaian entregando nas datas indicadas no Campus Virtual da materia. No caso de non superar a materia na 1ª oportunidade, conservaranse todas as cualificacións obtidas para a 2ª oportunidade.
A cualificación de “non presentado” outorgarase cando non se realice a proba final. A entrega dalgún dos boletíns de exercicios ou da memoria de prácticas, aínda que son avaliables, non permiten superar a materia por iso non se teñen en conta para outorgar esta cualificación.
Criterios de avaliación das distintas actividades:
- A proba final estará composta por unha combinación de preguntas de resposta curta (e.g., tipo test, definición de conceptos, etc.) con preguntas que requiren dunha resposta máis elaborada (e.g., resolución dalgún problema) dos contidos da materia. Para poder superar a materia é necesario obter un mínimo de 4 puntos nesta proba. Cunha cualificación inferior a 4 puntos non se fará a media ponderada coas outras actividades avaliables.
- Os boletíns de exercicios estarán compostos por actividades que terán que ser resoltas individualmente e entregadas a través do CV. Os exercicios correctamente resoltos puntuarán positivamente. O obxectivo destes boletíns é que o estudante poida avaliar regularmente a súa comprensión da materia e solucionar o máis pronto posible as dúbidas que aparezan.
- As prácticas de Programación Lóxica consistirán en actividades de aprendizaxe cooperativa (tanto formal como informal) nas que os estudantes terán que desenvolver unha tarefa en grupo. Estas entregas, ademais da tarefa en si resolta, deberán ir acompañadas dunha memoria (a súa extensión variará en función da tarefa) que documente a actividade realizada.
As datas de realización e de entrega de todas as actividades serán anunciadas ca antelación suficiente no Campus Virtual da materia.
O alumnado con "dispensa académica" será avaliado cos mesmos criterios e ponderacións que se indicaron, pero ca seguinte adaptación: En lugar de facer prácticas e entregas de memoria en grupo durante as sesións interactivas, poderá realizar unha selección destas prácticas, acordadas co profesor, onde a extensión máxima do traballo será determinada en función da mesma. As datas de entrega das actividades poderán ser acordadas co docente responsable e variar con respecto ao calendario indicado na guía docente. En calquera caso recoméndase que alumnado que se encontre nesta situación de dispensa académica de asistencia a clases se poña previamente en contacto co profesor da materia.
Lémbrase ao alumnado a penalización por plaxio na realización de traballos, recollida na “Normativa de avaliación do rendemento académico dos estudantes e de revisión de cualificacións”, aprobada no Consello de Goberno do 15 de xuño de 2011 no artigo 16, que di: “A realización fraudulenta dalgún exercicio ou proba esixida na avaliación dunha materia implicará a cualificación de suspenso na convocatoria correspondente, con independencia do proceso disciplinario que se poida seguir contra o alumno infractor. Considerarase fraudulenta, entre outras, a realización de traballos plaxiados ou obtidos de fontes accesibles ao público sen reelaboración ou reinterpretación e sen citas aos autores e das fontes”.
6 créditos ECTS
Clases Expositivas 20h
Clases Interactivas 30h
Horas de Titorías 1h
Horas presenciais 51h
Horas non presenciais 99h
Traballo total do estudante 150h
Docencia expositiva: 20 horas de traballo presencial do estudante (asistencia a clase) e 45 de seguimento e preparación da docencia expositiva (lectura e repaso diaria do visto na clase, preparación de esquemas e estudio regular da materia).
Docencia interactiva: 30 horas de traballo presencial do estudante (asistencia as clases, participación activa nas mesmas e realización das prácticas) e 50 horas de preparación dos boletíns de exercicios e elaboración das memorias de prácticas.
Actividades titoriais: 1 hora para a resolución de dúbidas e planificación das tarefas a realizar.
Total: 51 horas de traballo presencial e 99 de traballo persoal.
1) Asistencia diaria ás clases.
2) Lectura diaria, previa ou posterior á clase, dos temas que se van tratando nas aulas.
3) Realización dos boletíns de exercicios.
4) Estudio sistemático e regular dos temas e textos da materia.
5) Programar e preparar, coa antelación suficiente, as distintas actividades correspondentes á docencia interactiva da materia.
6) Utilización das horas de atención ao alumnado para resolver dúbidas, problemas e todo tipo de preguntas relacionadas coa materia.
- Os traballos realizados polo alumnado deben entregarse a través do Campus Virtual da materia.
- Para os casos de realización fraudulenta de exercicios ou probas será de aplicación o recollido na Normativa de avaliación do rendemento académico dos estudantes e de revisión de cualificacións.
- Perspectiva de xénero: Recoméndase facer uso da linguaxe non sexista, tanto no traballo cotiá de aula como nos traballos académicos encomendados, segundo as recomendacións da USC.
- Obrigatoriedade de uso da conta de correo rai.
- Obrigatoriedade de emprego das ferramentas tecnolóxicas institucionais: Campus Virtual, Microsoft Office 365, MS-Teams e outras ferramentas institucionais.
- Non se poderá empregar o de teléfono móbil, salvo cando se use como instrumento de traballo seguindo as indicacións dadas polo docente, responsabilizándose o alumnado das consecuencias legais e académicas que podan derivarse dun emprego non axeitado do mesmo.
- Obrigatoriedade do cumprimento da Normativa de protección de datos.
Martin Pereira Fariña
Coordinador/a- Departamento
- Filosofía e Antropoloxía
- Área
- Lóxica e Filosofía da Ciencia
- Teléfono
- 881812525
- Correo electrónico
- martin.pereira [at] usc.es
- Categoría
- Profesor/a: Profesor Contratado/a Doutor
Alejandro Gracia Di Rienzo
- Departamento
- Filosofía e Antropoloxía
- Área
- Lóxica e Filosofía da Ciencia
- Correo electrónico
- alejandro.gracia.dirienzo [at] usc.es
- Categoría
- Predoutoral Ministerio
| Martes | |||
|---|---|---|---|
| 11:00-12:00 | Grupo /CLE_01 | Galego | IA.11 |
| 12:00-14:00 | Grupo /CLIL_03 | Galego, Castelán | IA.12 |
| Xoves | |||
| 10:00-12:30 | Grupo /CLIL_01 | Castelán, Galego | IA.11 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_03 | IA.01 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_01 | IA.01 |
| 21.05.2025 09:00-14:00 | Grupo /CLE_01 | IA.01 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_02 | IA.01 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_03 | IA.11 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_01 | IA.11 |
| 21.05.2025 09:00-14:00 | Grupo /CLE_01 | IA.11 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_02 | IA.11 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_03 | IA.12 |
| 21.05.2025 09:00-14:00 | Grupo /CLE_01 | IA.12 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_01 | IA.12 |
| 21.05.2025 09:00-14:00 | Grupo /CLIL_02 | IA.12 |
| 11.07.2025 09:00-14:00 | Grupo /CLIL_02 | IA.11 |
| 11.07.2025 09:00-14:00 | Grupo /CLIL_03 | IA.11 |
| 11.07.2025 09:00-14:00 | Grupo /CLE_01 | IA.11 |
| 11.07.2025 09:00-14:00 | Grupo /CLIL_01 | IA.11 |