ASIGNATURA:	INTELIGENCIA ARTIFICIAL
CARACTER:	Cuatrimestral
CURSO:	2
CUATRIMESTRE:	II
CREDITOS:	6 (3T + 3P)
PROFESORES:	Mª Aránzazu Simón Hurtado
DEPARTAMENTO:	Informática (ATC, CCIA, LSI)

Teniendo en cuenta que el fin último de la Inteligencia Artificial consiste en la resolución automática de problemas no abordables mediante técnicas convencionales de programación, esta asignatura, que corresponde a un curso introductorio a la Inteligencia Artificial, se dedicará a la descripción y resolución de algunos de estos problemas.

Por último, y dado que el objetivo final de la Inteligencia Artificial es la construcción de programas para la resolución de problemas, el curso se complementará con una introducción al lenguaje de programación Prolog.

OBJETIVOS

· Conocer el contexto de la Inteligencia Artificial a partir del estudio de su historia y del análisis de sus problemáticas, técnicas y líneas de investigación.

· Establecer una formación sólida en conceptos y técnicas fundamentales de la Inteligencia Artificial, presentando un conjunto coherente de métodos y herramientas básicas.

· Tomar contacto con lenguajes específicos de Inteligencia Artificial y adquirir la capacidad de realizar proyectos de desarrollo en los que se conjuguen los aspectos teóricos con su aplicación para la resolución de problemas concretos.

CONTENIDOS

1. ¿Qué es la inteligencia artificial?

2. Representación del conocimiento mediante la lógica de predicados.

3. Problemas y espacios de problemas.

4. Métodos básicos de resolución de problemas. Búsqueda y técnicas de búsqueda.

BIBLIOGRAFÍA

Libros de teoría

1. Arenas, A., Lógica Formal para Informáticos, Ed. Díaz de Santos, Madrid, 1996.

2. Borrajo, D., Juristo, N., Martínez, V., Pazos, J., Inteligencia Artificial. Métodos y Técnicas. Ed. Centro de Estudios Ramón Areces, S.A., Madrid, 1993.

3. Luger, G. F., Stubblefield, W. A., Artificial Intelligence. Structures and Strategies for Complex Problem Solving, The Benjamin/Cummings Publishing Company, Inc, 1993.

4. Nilsson, N. J., Principios de Inteligencia Artificial, Ed. Díaz de Santos, S.A., Madrid, 1987.

5. Rich, E., Knight, K. Inteligencia Artificial 2ª Ed. Mc.Graw Hill. 1994

6. Winston, P. H., Artificial Intelligence, Addison-Wesley, 1992.

Libros de prácticas

1. Bratko, I., Programming in Prolog for Artificial Intelligence, Addison-Wesley, 1990.

PRACTICAS

Las actividades se centrarán en el aprendizaje del lenguaje de programación en Inteligencia Artificial PROLOG, mediante la realización de proyectos específicos de implementación. Este lenguaje se ve como un buen apoyo al enfoque que se quiere dar a la asignatura de Inteligencia Artificial en su parte de teoría y problemas, es decir, usar la potencia representacional del cálculo de predicados de primer orden para resolver problemas.

El intérprete de dominio público que se va a utilizar es el SWI-Prolog, escrito en C y en Prolog. Está basado en la Máquina Abstracta Warren. SWI-Prolog está disponible tanto para IBM-PC (Aplicaciones Windows) como para sistemas UNIX (HP, IBM Linux, Sun3, Sparc, Vax, ...).