UNIVERSIDAD NACIONAL DE LA PLATA

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.

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 1 de 7

TEL-FAX: (54) 221-4277270/01

UNIVERSIDAD NACIONAL DE LA PLATA

FACULTAD DE INFORMTICA
PROGRAMA ANALTICO
Organizar y describir por unidades los diferentes temas y subtemas que se van a desarrollar en dicho curso.

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.

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 2 de 7

TEL-FAX: (54) 221-4277270/01

UNIVERSIDAD NACIONAL DE LA PLATA

FACULTAD DE INFORMTICA
METODOLOGA DE ENSEANZA
Describir cmo se organiza y desarrolla la asignatura: tericos, prcticos, terico/prcticos, talleres,
seminarios, laboratorios, instancias virtuales, etc. Explicar la modalidad de la enseanza que se desarrollara a
lo largo del curso.

El dictado de la materia se divide en clases tericas y clases prcticas, ambas

interrelacionadas. Las tericas son exposiciones orales dialogadas donde se presentan
conceptos, a travs de su definicin, posibilidad de aplicacin, diferentes usos y su
relacin e interaccin con los dems conceptos. Se utilizan ejemplos. La participacin de
los alumnos se logra a travs de la discusin de situaciones concretas de aplicacin de
los conceptos tericos. Las prcticas se dedican a aplicar los conceptos tericos vistos.
Las mismas son planificadas a travs de una gua de TP. Cada TP identifica una temtica
y un conjunto de objetivos tericos-prcticos a lograr con las ejercitaciones planteadas. La
clase cuenta con una explicacin de prctica donde se le indican al alumno los objetivos
de la prctica y los conceptos tericos que se pretenden aplicar, ms un conjunto de
consejos para la resolucin de los problemas planteados.
Frecuentemente los alumnos exponen en el pizarrn ciertos ejercicios seleccionados para
lograr una correccin grupal en la que participan todos los alumnos.
Adems de resolver los TPs, durante el semestre los alumnos elaboran de manera
iterativa e incremental un proyecto de aplicacin de la Logica y la IA, utilizando
herramientas computacionales (ej. Probadores automticos de teoremas).
Clases especficas y temas especiales se definen nicamente si el alumno, luego de
aprobar, decide mejorar su calificacin. Con ello se aspira a que el adicional de nota final
que pudiese obtener (de no haber obtenido la mxima) sea reflejo de la profundizacin de
algn tema de la asignatura de particular inters del alumno.
Materiales didcticos disponibles para el desarrollo de las distintas actividades: se utiliza
el pizarrn como principal recurso. Eventualmente se utiliza proyector para mostrar
material que pudiese resultar engorroso o poco eficaz de reproducir en el pizarrn.
Se utilizan tambin las redes sociales (Facebook y google) para facilitar la comunicacin
entre alumnos y docentes e intercambiar material.
EVALUACIN
Requisitos para la acreditacin, descripcin de las distintas instancias y modalidades de evaluacin
(exmenes, trabajos prcticos, individuales o grupales, exposiciones, coloquios, prcticas, etc.), incluir todo
aquello que es considerado para la evaluacin de los alumnos para la cursada y para el final.

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 3 de 7

TEL-FAX: (54) 221-4277270/01

UNIVERSIDAD NACIONAL DE LA PLATA

FACULTAD DE INFORMTICA

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

Hamilton, A. Logic for Mathematicians. Cambridge University Press. 1980.

Ramsay. Formal Methods in Artificial Intelligence. Cambridge Tracks in Theoretical
Computer Science, 1991.
S. Russell y P. Norvig. Artificial Intelligence. A Modern Approach. Prentice Hall,
1995.

BIBLIOGRAFA COMPLEMENTARIA

Mendelson, E. Introduction to Mathematical Logic. 1987.

Michael Huth and Mark Ryan, Logic in Computer Science, Cambridge University
Press ISBN 0 521 54310X. (Second Edition), Junio 2004.
The Coq proof assistant the official website. http://coq.inria.fr/
OMG OCL 2.0 Specification. www.omg.org. Accedido en Marzo 2012.

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 4 de 7

TEL-FAX: (54) 221-4277270/01

UNIVERSIDAD NACIONAL DE LA PLATA

FACULTAD DE INFORMTICA
CRONOGRAMA DE CLASES Y EVALUACIONES
Se planifican 16 clases tericas y 16 clases prcticas, de 3 hs. de duracin cada una.
Clase

1- Introduccin

Contenidos/Actividades

Evaluaciones previstas

Introduccin al curso,

motivacin y presentacin de los

objetivos y cronograma de
2- Lgica de
Enunciados

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.

Adquisicin del conocimiento,

forma del conocimiento, uso del
conocimiento, lmites del
conocimiento. Intratabilidad e
inexpresabilidad.

La Lgica Proposicional
como lenguaje de representacin

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 5 de 7

TEL-FAX: (54) 221-4277270/01

UNIVERSIDAD NACIONAL DE LA PLATA

FACULTAD DE INFORMTICA

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.

Forma normal conjuntiva. Nocin

de consecuencia lgica y nocin
de insatisfactibilidad en la Lgica
Proposicional.

MP como chequeador de
inconsistencias.

Regla de Resolucin para

9- - Lgica de
Predicados

FNC en la Lgica Proposicional.

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

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 6 de 7

TEL-FAX: (54) 221-4277270/01

UNIVERSIDAD NACIONAL DE LA PLATA

FACULTAD DE INFORMTICA

Predicados

primer orden

15- Conclusiones y

Repaso
16- 1r Parcial
17- recuperatorio
18- recuperatorio

Sbado 22 de Noviembre, 10hs.

Sbado 13 de Diciembre, 10hs.
Sbado 14 de Febrero de 2015,
10hs.

Contacto de la ctedra (mail, pgina, plataforma virtual de gestin de cursos):

cpons@info.unlp.edu.ar
claritasmith@gmail.com

Firmas del/los profesores responsables:

Calle50 y 120 -1er. piso. - C.P. 1900 - La Plata

www.info.unlp.edu.ar

Pg. 7 de 7

TEL-FAX: (54) 221-4277270/01