FACULTAD DE INFORMTICA
LOGICA Y ELEMENTOS DE
INTELIGENCIA ARTIFICIAL
Ao 2014
Carrera/ Plan
Licenciatura en Informtica
Plan 2003-07/Plan 2012
Ao: 3
Rgimen de Cursada Semestral
Carcter: Obligatoria
Correlativas:
Matemtica II
Ingeniera de Software I
Taller de lecto-comprensin y
traduccin de Ingles
Profesor: Claudia Pons
Hs Semanales: 6
FUNDAMENTACIN
En forma breve explicar la importancia de la asignatura para la formacin del futuro profesional y el tipo de
aporte especficos que realizar la misma.
OBJETIVOS GENERALES:
Proporcionar los conceptos fundamentales de la lgica aplicable en Informtica. En
particular desarrollar los temas de lgica de enunciados, lgica de predicados y sistemas
de primer orden. Asimismo introducir los conceptos iniciales de Inteligencia Artificial.
CONTENIDOS MINIMOS:
Lgica de enunciados.
Lgica de predicados.
Sistemas de primer orden.
Elementos de Inteligencia artificial simblica y no simblica.
Pg. 1 de 7
Lgica de Enunciados
Enunciados y conectivas
Funciones de verdad y tablas de verdad
Reglas de manipulacin y sustitucin
Formas normales
Conjuntos adecuados de conectivas
Argumentacin y validez
El Sistema formal L
Correccin y completitud de L
Lgica de Predicados
Predicados y cuantificadores
Lenguajes de primer orden
Interpretaciones
Satisfaccin y verdad
El sistema formal KL
Equivalencia, sustitucin, forma prenexa.
Correccin y completitud de KL
Modelos de sistemas de primer orden
Introduccin a la Inteligencia Artificial
Conocimiento: definicin. Adquisicin del conocimiento, forma del conocimiento,
uso del conocimiento, lmites del conocimiento. Intratabilidad e inexpresabilidad.
La Lgica Proposicional como lenguaje de representacin de conocimiento.
El Teorema de Cook-Levine.
El problema de deduccin booleana (SAT).
Nocin de reduccin. Forma normal conjuntiva. Nocin de consecuencia lgica y
nocin de insatisfactibilidad en la Lgica Proposicional.
MP como chequeador de inconsistencias.
Regla de Resolucin para FNC en la Lgica Proposicional.
Teorema de Robinson.
Pg. 2 de 7
Pg. 3 de 7
Para la aprobacin de los trabajos prcticos se realiza una evaluacin al final del
semestre. La evaluacin es escrita y con modalidad libro abierto. Tiene 2 instancias de
recuperacin. La modalidad libro abierto resulta adecuada a esta actividad curricular ya
que los objetivos apuntan a las habilidades de comprensin y resolucin de problemas,
donde el aprendizaje memorstico no es relevante.
Los alumnos pueden optar entre realizar un examen basado en los tps, utilizando lpiz y
papel o realizar un examen basado en el proyecto de aplicacin, utilizando herramientas
computacionales.
Ambos tipos de examen evalan los mismos conocimientos y habilidades , pero utilizando
diferentes medios.
Para aprobar se requiere una calificacin mayor o igual a 4 (en escala de 0 a 10).
Luego de aprobar los trabajos prcticos los alumnos rinden un examen final para la
aprobacin de la materia. El examen final consiste en desarrollar temas terico-prcticos
por escrito y luego participar de un coloquio con el profesor.
Los alumnos que aprueban los trabajos prcticos con calificacin 6 o superior acceden a
un examen final reducido.
La calificacin final es un promedio ente las calificaciones obtenidas en los parciales, el
final y el desempeo general del alumno durante el curso.
BIBLIOGRAFA OBLIGATORIA
BIBLIOGRAFA COMPLEMENTARIA
Pg. 4 de 7
1- Introduccin
Contenidos/Actividades
Evaluaciones previstas
Introduccin al curso,
actividades.
Enunciados y conectivas
Funciones de verdad y
3- Lgica de
tablas de verdad
Argumentacin y validez
LOGICA DE
Enunciados
ENUNCIADOS
Reglas de manipulacin y
sustitucin
4- Lgica de
Enunciados
LOGICA DE
ENUNCIADOS
Formas normales
Conjuntos adecuados de
5- Lgica de
conectivas
El Sistema formal L
Enunciados
6- Lgica de
Enunciados
7- Introduccin a la
Inteligencia
Artificial
Correccin y completitud
de L
Conocimiento: definicin.
La Lgica Proposicional
como lenguaje de representacin
Pg. 5 de 7
de conocimiento.
El Teorema de CookLevine.
El problema de
deduccin booleana (SAT).
8- Introduccin a la
Inteligencia
Artificial
Introduccin a la
Inteligencia Artificial
Nocin de reduccin.
MP como chequeador de
inconsistencias.
9- - Lgica de
Predicados
Teorema de Robinson.
Predicados y
cuantificadores
Lenguajes de primer
orden
10- Lgica de
Predicados
11- Lgica de
Predicados
12- Lgica de
Predicados
13- Lgica de
Predicados
14- Lgica de
Interpretaciones
Satisfaccin y verdad
El sistema formal KL
Equivalencia, sustitucin,
forma prenexa.
Correccin y completitud
de KL
Modelos de sistemas de
Pg. 6 de 7
Predicados
primer orden
15- Conclusiones y
Repaso
16- 1r Parcial
17- recuperatorio
18- recuperatorio
Pg. 7 de 7