Departamento de Informática

 

Prácticas de Inteligencia Artificial I
Área: Ciencia de la Computación e Inteligencia Artificial 
Titulación: Ingeniería en Informática, cuarto curso. 
Carga: Cuatrimestral de 3 créditos, troncal. 
Profesor: 
Teodoro Calonge Cano
PROLOG
  1. Introducción: (formato html) (formato PDF)
    1. Hechos
    2. Preguntas
    3. Variables
    4. Conjunciones
    5. Reglas
    6. Ejercicios
  2. Sintaxis:  (formato html) (formato PDF)
    1. Sintaxis
    2. Constantes
    3. Variables
    4. Estructuras
    5. Operadores
    6. Igualdad
    7. Aritmética
  3. Estructuras de datos: (formato html) (formato PDF)
    1. Estructuras y árboles
    2. Listas
    3. Pertenencia a una lista
    4. Práctica: alterar frase
    5. Práctica: ordenación alfabética
    6. Predicado "append"
    7. Práctica: inventario de piezas (una solución)
  4. La reevaluación y el corte: (formato html) (formato PDF)
    1. Soluciones  múltiples
    2. El corte
    3. Aplicaciones del corte
      • Confirmación de regla
      • Combinación corte-"fail"
      • Final de generación y confirmación
    4. Ejercicios
  5. Entradas y Salidas: (formato html) (formato PDF)
    1. Escritura de términos
    2. Lectura de términos
    3. Escritura y lectura de caracteres. 
    4. Escritura en fichero
    5. Lectura de fichero
    6. Declaración de operadores
 
Bibliografía
  • "Programación en PROLOG", W.F.Clocksin & C.S.Mellish. Ed. Gustavo Gili, S.A, 1993.
  • "PROLOG Programming for Artificial Intelligence", Ivan Bratko. Ed. Addison-Wesley, 2001.
  • "The Art of PROLOG", Leon Sterling & Ehud Shapiro. Ed. MIT Press, 1994.
  • "Prácticas de Lógica - PROLOG". Faraón Llorens Largo & Mª Jesús Castel de Haro. Dpto. de Ciencia de la Computación e Inteligencia Artificial. Universidad de Alicante.
Enlaces
Tutorías
  • Según horario de tutorías expuesto en el tablón de anuncios. 
  • Solicitud de día y hora mediante correo electrónico:
teodoro@infor.uva.es

    Asimismo, se recuerda que el periodo de exámenes es no lectivo, motivo por el cual, se suspenderán las tutorías.
Evaluación
  • Se realizarán una serie de preguntas dentro de los exámenes oficiales de la asignatura:

Ordinaria: 16 de febrero de 2005 a las 9h en las aulas 101-102-103-104.  

Extraordinaria: 7 de septiembre de 2005 a las 9h en las aulas 102 y 103. Enunciado y una solución (PDF)

 

 
Datos de esta página
    URL de esta página: http://www.infor.uva.es/~teodoro/PracticasIA-I.html
    Actualizado el viernes, 09 de septiembre de 2005