Las clases de teoría se imparten los viernes de 10:00 a 12:00, en la sala 3203.

Día

Contenidos

Profesor

Duración

 

08/10/2010

Presentación de la asignatura

Oscar Corcho

1 hora

Presentación

BLOQUE 1. Razonamiento con taxonomías

Referencias bibliográficas de razonamiento con taxonomías:

Gómez-Pérez A, Fernández-López M, Corcho O.  Ontological Engineering. Springer-Verlag, 2003.

 

Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003

15/10/2010

Formalismos de representación (repaso)

Oscar Corcho

2 horas

Presentación

 

22/10/2010, 29/10/2010

Lógica descriptiva. Sintaxis y semántica. Formalización. Mecanismos de razonamiento y OWL

Oscar Corcho

4 horas

Presentación

Presentación

Fichero OWL creado

Fichero OWL sobre animales

Ejercicio

5/11/2010

Lógica descriptiva. Ejercicios

Oscar Corcho

2 horas

 

 

 

 

 

12/11/2010

Lógica descriptiva. Depuración

Oscar Corcho

2 horas

Presentación

19/11/2010

No hay clase

--

--

Semana de actividades complementarias

26/11/2010

Lógica descriptiva. Depuración.

Presentación de la práctica

Oscar Corcho

2 horas

Fichero OWL a depurar (v1 y v2)
Práctica

3/12/2010

No hay clase

--

--

Tiempo libre para realizar la práctica

10/12/2010

No hay clase

--

--

Tiempo libre para realizar la práctica

17/12/2010

Lógica descriptiva. Modularización

Oscar Corcho

2 horas

Presentación

18/2/2011

Dudas sobre la práctica

Oscar Corcho

1 hora

 

BLOQUE 2. Razonamiento espacial y temporal

Referencias bibliográficas:

Worboys, M.F. and Duckham, M. (2004). GIS: A Computing Perspective, Second Edition, CRC Press, ISBN: 0415283752. http://worboys.duckham.org/   

14/01/2011, 21/01/2011

Razonamiento espacial y temporal cualitativo

Oscar Corcho

4 horas

Presentación, Presentación, Presentación

BLOQUE 3. Recuperación de Información

Referencias bibliográficas:

Baeza-Yates, R. and Ribeiro-Neto, B. (1999). Modern Information Retrieval, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, ISBN: 020139829X. http://people.ischool.berkeley.edu/~hearst/irbook/   

 

Enunciado de la práctica:

25/02/2011

(A) Introducción

(B) Modelos de RI basados en espacios vectoriales I

Miguel García

2 horas

(A) Presentación

(B) Apuntes de clase

 

(C) Modelos de RI basados en espacios vectoriales (II)

(D) Evaluación de modelos de RI

Miguel García

2 horas

(C, D) Apuntes de clase

 

(E) Medidas de similitud

(F) Retroalimentación de la relevancia

Miguel García

2 horas

(E) Presentación

(F) Presentación

 

(G) Expansión de preguntas mediante el modelo de índices ontológicos.

Miguel García

2 horas

(G) Presentación

 

(H) Tutorial de Java Lucene

Miguel García

2 horas

(H) Material proporcionado en clase

 

BLOQUE 4. Razonamiento para Planificación

Referencias bibliográficas:

Ghallab, M., Nau, D. and Traverso, P. (2004). Automated Planning: Theory and Practice, Morgan Kauffman Publishers. ISBN: 1-55860-856-7. http://www.laas.fr/planning/   

 

Enunciado de la práctica:

(A) Introducción

(B) Modelos de representación para planificación clásica

Miguel García

2 horas

(A) Presentación

(B) Presentación

 

(C) Representación mediante PDDL

(D) Planificación en el espacio de estados

Miguel García

2 horas

(C) Presentación

(D) Presentación

 

(E) Planificación en el espacio de planes

Miguel García

2 horas

(E) Presentación

 

(F) Planificación basada en Grafos

Miguel García

2 horas

(F) Presentación

 

(G) Planificación mediante Redes Jerárquicas de Tareas

Miguel García

2 horas

(G) Presentación

 

(G) Planificación mediante Redes Jerárquicas de Tareas (cont.)

(H) Planificación mediante Reglas de Control

Miguel García

2 horas

(H) Presentación

 

(I) Sesión Práctica con la herramienta JSHOP2 / Descripción de la práctica

Miguel García

2 horas

(I) Ejemplo DWR para JSHOP2

 

(H) Planificación mediante Reglas de Control (Cont.)

Resolución de dudas sobre las prácticas

Miguel García

2 horas