Estudia

• Mostrar tota una sèrie de tècniques objectes d’estudi per diferents branques de la IA des de la perspectiva unificadora del disseny i la construcció d’agents racionals. Al mateix temps, es vol equipar l’alumne amb tota una sèrie de tècniques avançades d’ús general i fer evident la seva utilitat pràctica per resoldre problemes reals.

1. Introducció

2. Agents racionals

          2.1. Definicions

          2.2. Classificació

3. Agents reactius

4. Agents que representen els seus coneixements i raonen de forma lògica.

          4.1. Sistemes basats en regles. Sistemes experts.

          4.2. Representació del coneixement amb lògica de predicats de primer ordre. L'algorisme de resolució.

          4.3. Representació del coneixement mitjançant altres lògiques.

          4.4. Representació de la incertesa. Lògica difusa.

5. Agents que resolen problemes i fan plans

          5.1. Resolució de problemes com una cerca dins d’un espai d’estats.

                    5.1.1. Problemes i representacions

                    5.1.2. Cerca exhaustiva

                    5.1.3. Cerca heurística. A*, Hill Climbing, Simulated annealing, Tabú search.

                    5.1.4. Algorismes genètics.

6. Agents que juguen. L’algorisme MINIMAX

• Russell, S. Norvig, P. (2004). Inteligencia Artificial. Un enfoque moderno (segona). Pearson Prentice Hall.
• Nilsson, Nils J. (1998). Inteligencia Artificial. Una nueva Síntesis. McGraw Hill Iberamericaba.
• Bratko, Ivan (2001). Prolog Programming for Artificial Intelligence (tercera). Addison-Wesley.
• Clocksin, W.F. , Mellish, C.S. (1987). Programacion en Prolog. Gustavo Gili Editores.

Activitats d'avaluació:

Mètodes docents:
Classes de teoria i probleme
hores setmanals 2

Pràctiques i problemes

. hores setmanals 2
Tipus d'exàmens:
La nota final de l'assignatura es calcularà com la mitjana de les notes de pràctiques i de l'exàmen final de teoria ., sempre i quan la nota de l'exàmen sigui igual o superior a 4 i s'hagin lliurat (a temps) i aprovat totes les pràctiques.

Prerequisits:
Cap S'aconsella haver cursat l'assignatura Introducció a la Lògica