Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
1 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
ASIGNATURA
INTELIGENCIA ARTIFICIAL (IA)
1.1.
Cdigo
1.2.
Materia
Inteligencia Artificial
1.3.
Tipo
Obligatoria
1.4.
Nivel
Grado
1.5.
Curso
1.6.
Semestre
1.7.
Nmero de crditos
6 ECTS
1.8.
Requisitos previos
2 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
Asignatura: lgebra
Conocimientos de clculo
Asignaturas: Clculo I, Clculo II
Conocimientos de combinatoria, teora de grafos y lgica proposicional
Asignatura: Estructuras discretas y lgica
Conocimientos de probabilidad y estadstica
Asignatura: Probabilidad y estadstica
1.9.
Se plantean dos itinerarios, uno con asistencia obligatoria a clase y otro sin ella. Los
estudiantes debern optar por uno u otro desde el principio del curso y cumplir con
los distintos requisitos de evaluacin que conlleva cada uno de los modelos,
publicados en la presente gua docente (ver apartado 4).
ITINERARIO CON ASISTENCIA OBLIGATORIA A CLASE
La asistencia es obligatoria al menos en un 85%.
ITINERARIO SIN ASISTENCIA OBLIGATORIA A CLASE
La asistencia es muy recomendable aunque no obligatoria.
3 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
4 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
OBJETIVOS GENERALES
G1 Formalizar y disear sistemas de razonamiento automtico
G2
G3
5 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
1.1.
1.2.
2. Lgica de predicados
2.1 Elementos
2.1.1. Elementos comunes con la lgica proposicional
2.1.2. Variables y cuantificadores
2.1.3. Predicados
2.1.4. Funciones
2.1.5. tomos, trminos, literales y clusulas
2.1.6. Formas normales
2.2 Sustitucin y unificacin
2.3 Inferencia en lgica de predicados
2.3.1 Reglas de inferencia generalizadas
2.3.1.1
Modus ponens
2.3.1.2
Resolucin
2.3.2 Extraccin de respuestas mediante el truco de Green.
2.4 El predicado de igualdad
2.5 Algoritmos para inferencia
2.5.1 Forward chaining
2.5.2 Backward chaining
2.6 Programacin lgica (Prolog)
2.7 Ontologas
6 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
4. Planificacin
4.1.
4.2.
Clculo de situaciones
Planificacin mediante STRIPS
5.1.
5.2.
5.3.
5.4.
6. Aprendizaje Automtico
7. Aplicaciones avanzadas
7.1.
7.2.
7.3.
7 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
8 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
2.
Mtodos docentes
9 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
Participacin en el debate.
10 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
Tras el debate, cada alumno elaborar un breve resumen con las conclusiones
que ha extrado del debate.
3.
Clases tericas
Clases prcticas
Realizacin de pruebas escritas parciales y final
Estudio semanal
Realizacin de actividades prcticas
No
Preparacin del examen (convocatoria ordinaria)
presencial
Preparacin del examen (convocatoria
extraordinaria)
Carga total de horas de trabajo: 25 horas x 6 ECTS
Presencial
4.
N de horas
42 h (28%)
26 h (17.3%)
4 h (2.7%)
20 h (13.3%)
20 h (13.3%)
16 h (10.7%)
Porcentaje
72 h (48%)
78 h (52%)
22 h (14.7%)
150 h
Todas las partes de la asignatura, teora, prcticas y debate puntan sobre 10.
La nota final de la asignatura se obtiene de las notas de teora, prcticas y debate
mediante la ecuacin:
Calificacin: 0.3*Prcticas + 0.6*Teora + 0.1*Debate
Para aprobar la asignatura es obligatorio obtener una nota mayor o igual a 5
puntos tanto en la parte de teora como en las prcticas. En caso contrario, la nota
final en actas ser
Calificacin: Mn(4.9, 0.3*Prcticas + 0.6*Teora + 0.1*Debate)
Los ejercicios, prcticas, debate y exmenes sern los mismos para todos los
grupos de la asignatura.
TEORA:
Para optar a evaluacin continua, el estudiante debe
11 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
P2: Lgica
P3: Bsqueda
P4: Juegos
12 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
5.
Cronograma
Semana
Contenido
Horas presenciales
Horas no presenciales
1
Trabajo del estudiante:
Lectura de las normativas
de teora y prcticas.
Lectura del material
propuesto.
3
Trabajo del estudiante:
Lectura de material
propuesto. Realizacin de
Prctica 1 (Introduccin a
LISP).
3
Trabajo del estudiante:
13 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
- Prctica 1
- Prctica 1
- Prctica 2
- Prctica 2
-Prctica 3
-Prctica 4
10
-Prctica 4
11
-Prctica 5
12
Lectura de material
propuesto. Realizacin de
Prctica 1 (Introduccin a
LISP).
3
Trabajo del estudiante:
Lectura de material
propuesto. Realizacin de
la Prctica 1 (Introduccin
a LISP).
3
Trabajo del estudiante:
Lectura de material
propuesto. Entrega de
Prctica 1. Realizacin de
la Prctica 2 (Lgica
proposicional).
3
Trabajo del estudiante:
Escritura de los programas
propuestos. Realizacin de
la Prctica 2 (Lgica
proposicional).
3
Trabajo del estudiante:
Escritura de los programas
propuestos. Entrega de la
Prctica 2. Realizacin de
Prctica 3 (Bsqueda).
3
Trabajo del estudiante:
Lectura de material
propuesto. Realizacin de
la Prctica 3 (Bsqueda).
3
Trabajo del estudiante:
Lectura de material
propuesto. Entrega de la
Prctica 3. Realizacin de
la Prctica 4 (Juegos).
3
Trabajo del estudiante:
Lectura del material
propuesto. Realizacin de
la Prctica 4 (Juegos).
3
Trabajo del estudiante:
Lectura de material
propuesto. Entrega de la
Prctica 4. Realizacin de
la Prctica 5 (Aprendizaje
Automtico).
3
Trabajo del estudiante:
Lectura de material
14 de 15
Cdigo: 17840
Centro: Escuela Politcnica Superior
Titulacin: Grado en Ingeniera Informtica
Nivel: Grado
Tipo: Obligatoria
N de crditos: 6
13
14
15
16
-Prctica 5
- Unidad 7 Aplicaciones Avanzadas.
propuesto. Realizacin de
la Prctica 5 (Aprendizaje
Automtico).
3
Trabajo del estudiante:
Lectura de material
propuesto. Realizacin de
la Prctica 5 (Aprendizaje
Automtico).
3
Entrega de Prctica 5.
Lectura de material
propuesto
8
8
15 de 15