Inteligencia Artificial - Temario
Optativa ITIG-ITIS
Cod.: 614211654, 614311654

Alvaro Barreiro
Dept. Computación
Fac. Informática
Universidade da Coruña. SPAIN

Septiembre 1998

Inteligencia Artificial 3 . Dept. Computación. Universidade da Coruña

1. INTELIGENCIA Y RACIONALIDAD
   1. Propósito de la IA
   2. Definiciones y Aproximaciones a la IA
      1. Sistemas que actúan como los humanos
      2. Sistemas que piensan como los humanos: la aproximación de la ciencia cognitiva
      3. Sistemas que piensan racionalmente: la aproximación de la lógica
      4. Sistemas que actúan racionalmente: la aproximación de los agentes racionales
2. AGENTES
   1. Agentes Racionales
   2. Estructura de los Agentes Racionales
      1. Agentes con tablas percepción-acción
      2. Agentes reflejos sencillos
      3. Agentes reflejos con estado interno
      4. Agentes con objetivos
      5. Agentes basados en utilidad
   3. Entornos y simulaciones de entornos
3. RESOLUCIÓN DE PROBLEMAS MEDIANTE BÚSQUEDA
   1. Pasos en la resolución de problemas
   2. Formulación de problemas
   3. Problemas ejemplo
   4. Búsqueda de soluciones
   5. Estrategias de búsqueda. Búsqueda ciega o no informada
      1. Criterios de evaluación
      2. Primero en anchura
      3. Coste uniforme
      4. Primero en profundidad
      5. En profundidad limitada
      6. Profundización iterativa
4. MÉTODOS DE BÚSQUEDA INFORMADA
   1. Búsqueda el primero mejor
      1. Búsqueda Greedy
      2. Búsqueda
   2. Funciones heurísticas
   3. Búsqueda con limitaciones de memoria
      1. 
      2. 
   4. Algoritmos de mejora iterativa
      1. Escalada
      2. Enfriamiento simulado
5. REPRESENTACIÓN DEL CONOCIMIENTO E INFERENCIA CON LÓGICA PROPOSICIONAL
   1. Un agente basado en conocimiento
   2. Representación, razonamiento y lógica
   3. Lógica proposicional
      1. Sintaxis
      2. Semántica
      3. Inferencia en lógica proposicional
         1. Reglas de inferencia
         2. Complejidad de la inferencia proposicional
   4. Adecuación epistemológica de la lógica proposicional
6. REPRESENTACIÓN DEL CONOCIMIENTO
   CON LÓGICA DE PRIMER ORDEN
   1. Ontología, sintaxis y semántica
   2. Extensiones
   3. Ejemplos de uso de la lógica de primer orden
   4. Un agente reflejo sencillo
   5. Cálculo situacional
7. INFERENCIA EN LÓGICA DE PRIMER ORDEN
   1. Reglas de inferencia con cuantificadores
   2. Modus Ponens generalizado
   3. Encadenamiento hacia delante y encadenamiento hacia atrás
   4. Completitud y decidibilidad
   5. Resolución: un procedimiento de inferencia completo
      1. La regla de inferencia
      2. Formas canónicas
      3. Prueba
      4. Conversión a forma normal
      5. Ejemplo del procedimiento de conversión y de la prueba por refutación
      6. Tratamiento de la igualdad: demodulación
      7. Estrategias de resolución
      8. Completitud de la resolución
      9. Teorema de la incompletitud de Gödel
8. SISTEMAS DE RAZONAMIENTO LÓGICO
   1. Algunas cuestiones de implementación
      1. Implementación de sentencias y términos
      2. Diseño de la base de conocimiento
      3. Implementación del algoritmo de unificación
   2. Prolog y otros sistemas de programación lógica
      1. El lenguaje Prolog
      2. Implementación
      3. Programación lógica con restricciones
      4. Control avanzado
   3. Probadores de teoremas
      1. OTTER
      2. PTTP
      3. Uso práctico de los probadores de teoremas
   4. Sistemas de producción
      1. Fase de emparejamiento
      2. Fase de resolución de conflictos
   5. Redes semánticas y marcos
      1. Sintaxis y semántica de las redes semánticas
      2. Herencia con excepciones
      3. Herencia múltiple
      4. Herencia y cambio
      5. Implementación de redes semánticas
      6. Expresividad las redes semánticas
   6. Lógicas descripcionales
   7. Sistemas de mantenimiento de verdad
9. PLANIFICACIÓN
   1. Un agente de planificación sencillo
   2. De resolución de problemas a planificación
   3. Planificación con cálculo situacional
   4. Representaciones básicas para planificación
      1. Representación de estados y objetivos
      2. Representación de acciones
      3. Espacio de situaciones y espacio de planes
   5. Representación de planes
   6. Ejemplo de planificador de orden parcial
   7. El algoritmo de planificación de orden parcial (POP)
   8. Planificación con operadores parcialmente instanciados
   9. Planificación en dominios reales
   10. Planificación y ejecución
10. INCERTIDUMBRE
    1. Tratamiento de la incertidumbre
    2. Notación proposicional de la probabilidad
    3. Los axiomas de la probabilidad
    4. La regla de Bayes y su uso
       1. Regla de Bayes
       2. Ejemplo de uso
       3. Normalización
       4. Combinación de evidencia: independencia condicional y actualización bayesiana
    5. Significado de los valores de probabilidad
11. SISTEMAS DE RAZONAMIENTO PROBABILÍSTICO
    1. Representación del conocimiento con redes de creencias
    2. La semántica de las redes de creencia
    3. Representación de la distribución de probabilidad combinada
       1. Método para la construcción de la red de creencias
       2. Representación de las tablas de probabilidad condicional
       3. Separación dependiente de la dirección (separación D)
    4. Inferencia en redes de creencias
       1. Tipos de inferencias probabilísticas
       2. Algoritmo para el cálculo de la distribución de probabilidad
    5. Inferencia en redes de creencia múltiplemente conexas
    6. Ingeniería del conocimiento en sistemas de razonamiento probabilístico
       1. Ejemplo: el sistema Pathfinder
    7. Otras aproximaciones al tratamiento de la incertidumbre
       1. Razonamiento por defecto
       2. Métodos basados en reglas para el razonamiento con incertidumbre

Fdo.: Alvaro Barreiro García

• About this document ...