Competencies and objectives

 

Course context for academic year 2024-25

La lógica desempeña un papel fundamental en el campo de la inteligencia artificial, ya que proporciona un marco teórico y práctico para el razonamiento, la inferencia y la toma de decisiones basadas en reglas. Es fundamental que los ingenieros en inteligencia artificial tengan una comprensión sólida de la lógica y sus aplicaciones para desarrollar sistemas inteligentes eficientes y confiables.

El objetivo principal de la asignatura es enseñar a los estudiantes los fundamentos de la lógica formal y simbólica, así como su aplicación en el desarrollo de sistemas inteligentes, y proporciona una base sólida para asignaturas posteriores en las que se abordarán materias más complejas como el aprendizaje automático, el razonamiento probabilístico y la toma de decisiones.

Durante el curso, se explorarán diferentes áreas de la lógica, como la lógica proposicional, la lógica de predicados y la programación lógica. Aprenderán a representar el conocimiento y los hechos utilizando diferentes lenguajes formales y a utilizar reglas de inferencia para realizar razonamientos válidos. Al final del curso, los estudiantes deberán haber adquirido una comprensión sólida de los fundamentos de la lógica y su aplicación en la inteligencia artificial. Serán capaces de analizar y modelar problemas complejos utilizando técnicas de lógica formal, así como de desarrollar sistemas inteligentes que utilicen el razonamiento lógico para tomar decisiones.

 

 

Course content (verified by ANECA in official undergraduate and Master’s degrees) for academic year 2024-25

Transversal Competences

  • CT01 : Utilizar de forma habitual las herramientas informáticas, así como las tecnologías de la información y las comunicaciones, en todo su desempeño profesional.
  • CT02 : Comunicar de forma oral y escrita transmitiendo información, ideas, problemas y soluciones a un público tanto especializado como no especializado.

 

General Competences

  • CG2 : Conocer, seleccionar y aplicar métodos de los diferentes campos de la inteligencia artificial para la resolución de problemas de ingeniería.
  • CG5 : Comunicar de manera clara y precisa conocimientos, metodologías, ideas, problemas y soluciones en el ámbito de la inteligencia artificial

 

Specific Competences

  • CE6 : Aplicar los fundamentos de la lógica de primer orden, el cálculo deductivo y la inferencia lógica a la modelización y resolución de problemas de inteligencia artificial

 

Basic Competences

  • CB1 : Que los estudiantes hayan demostrado poseer y comprender conocimientos en un área de estudio que parte de la base de la educación secundaria general, y se suele encontrar a un nivel que, si bien se apoya en libros de texto avanzados, incluye también algunos aspectos que implican conocimientos procedentes de la vanguardia de su campo de estudio

 

 

 

Learning outcomes (Training objectives)

1. Representar conocimiento por medio de sistemas formales.

2. Formalizar en lenguaje lógico frases del lenguaje natural.

3. Conocer los mecanismos de inferencia lógicos y sus condiciones de aplicabilidad.

4. Analizar algoritmos y estrategias para la demostración automática (automatización del razonamiento)

5. Aplicar técnicas de resolución a un conjunto de sentencias lógicas para ser capaz de responder preguntas. 6. Diseñar e implementar un sistema basado en la lógica para resolver una tarea determinada.

 

 

Specific objectives stated by the academic staff for academic year 2024-25

No data

 

 

General

Code: 33653
Lecturer responsible:
LLORENS LARGO, FARAON
Credits ECTS: 6,00
Theoretical credits: 1,20
Practical credits: 1,20
Distance-base hours: 3,60

Departments involved

  • Dept: SCIENCE OF COMPUTING AND ARTIFICIAL INTELLIGENCE
    Area: CIENCIA DE LA COMPUTACIO, INTEL·LIGENCIA ARTIFICIA
    Theoretical credits: 1,2
    Practical credits: 1,2
    This Dept. is responsible for the course.
    This Dept. is responsible for the final mark record.

Study programmes where this course is taught