Turno Tarde (14 a 17 horas)
Carlos Areces, INRIA Lorraine, Francia
Soy graduado en la Licenciatura en Cs. de la Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. En 1997 comencé mi doctorado en la Universidad de Warwick y lo completé a mediados del 2000 en la Universidad de Amsterdam bajo la dirección de Johan van Benthem y Maarten de Rijke. En la actualidad son investigador permanente INRIA en el "Laboratoire Lorrain de Recherche en Informatique et ses Applications" (LORIA).
Mi principal área de investigación es "Logic Engineering" (Ingeniería de Lenguajes Lógicos), es decir, el diseño de lenguajes lógicos y métodos de inferencia optimizados para aplicaciones específicas. Mi trabajo trata principalmente con lenguajes modales como las lógicas para la descripción.
Objetivos del Curso:
Introducir en detalle (tanto en forma teórica como práctica) el formalismo de lógicas de descripción y demostrar sus aplicaciones en dos áreas concretas: la web semántica y en aplicaciones de tratamiento de lenguaje natural.
Programa:
1. Introducción
1.1 Perspectiva histórica
1.2 Ejemplos de aplicación
1.3 Lenguajes 'tratables'
1.4 Fuentes de Complejidad
1.5 Hoy por hoy: ExpTime-complete es 'tratable'
2. Representación de Conocimientos
2.1 Diferentes Lenguajes: Sintaxis y Semántica
2.2 Bases de Conocimiento
2.3 Tareas de Inferencia
2.4 Complejidad
2.5 Ejemplos
2.6 Extensiones
3. Algoritmos de Inferencia
3.1 Tableaux
3.2 Terminación
3.3 Optimizaciones
3.4 Implementaciones Concretas: RACER
3.5 Demo
4. Aplicaciones
4.1 Web Semántica
4.1.1 Ontologías
4.1.2 OWL-DL
4.1.3 Ejemplos
4.1.4 Demo
4.2 Lingüística Computacional
4.1.1 Background Knowlege y procesamiento automático de texto
4.1.2 Lexicalización
4.1.3 Sistemas de Diálogo
4.1.4 Demo
Requisitos:
- conocimientos de lógica proposicional y de primer orden. (E.g., satisfacibilidad, validez, correctitud, completud, modelos de primer orden, nocion de consequencia)
- Conocimientos básicos de teoría de computabilidad y complejidad:
- Decidibilidad/indecidibilidad
- Definiciones de clases de complejidad básicas: P, NP, PSPACE, EXPTIME, NEXPTIME
- Nociones de 'hardness' and 'completeness' para una clase de complejidad
Previos conocimientos de lógica modal o de lógicas de descripcción NO son necesarios.
Bibliografía
Una bibliografía detallada del curso, junto con los slides que voy a usar estarán en mi página web a partir de mediados de Junio.
La siguiente es bibliografía básica:
- Introducción a Lógicas de Descripción:
- D. Nardi, R. J. Brachman. An Introduction to Description Logics. In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 5-44.
- F. Baader, W. Nutt. Basic Description Logics. In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 47-100.
- Algoritmos de Tableaux
- F. Baader and U. Sattler. An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69:5-40, 2001
- Complejidad
- F. Donini. Complexity of Reasoning. In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 101-141.
- Systemas
- V. Haarslev and R. Möller. Description of the RACER System and its Applications. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 131?141, 2001.
- Aplicaciones:
- Ian Horrocks and Peter F. Patel-Schneider. Three theses of representation in the semantic web. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 39-47. ACM, 2003.
- Ian Horrocks and Peter Patel-Schneider. Reducing OWL entailment to description logic satisfiability. J. of Web Semantics, 1(4):345-357, 2004.
- Lexical Reasoning Gardent Claire and Evelyne Jacquey Proceedings of ICON'03 (International Conference on Natural Language Processing), Mysore, India, 2003.
- Lexicalisation as a Description Logic Inference Task Gardent Claire and Evelyne Jacquey Proceedings of ICOS'03 (Inference in Computational Semantics), Nancy, France, 2003.
Notas de la Evaluación
| 1 | 6.5 | Aprea, Mauro Andres | |
| 2 | 8.0 | Asteasuain, Fernando | |
| 3 | 10.0 | Bazerque, Santiago | |
| 4 | 7.5 | Bourg, Lorena | |
| 5 | 8.0 | Brassora, Andres | |
| 6 | 9.5 | Buzzoni, Carolina | |
| 7 | 9.0 | De Cristoforis, Pablo | |
| 8 | 10.0 | Figueira, Diego | |
| 9 | NA | Garcia, Jorge | |
| 10 | NA | Garrido Romero, Virginia | |
| 11 | 7.5 | Gomez, Sergio Alejandro | |
| 12 | 10.0 | Gorin, Daniel | |
| 13 | 7.0 | Jercog, Daniel | |
| 14 | 7.5 | Koile, Daniel | |
| 15 | 9.0 | Liberman, Dario Alejandro | |
| 16 | 10.0 | Martinez, Fernando | |
| 17 | NA | Martin, Maria de los Angeles | |
| 18 | 9.0 | Mendez, Julian | |
| 19 | 10.0 | Mera, Sergio | |
| 20 | NA | Orlicki, Jose | |
| 21 | NA | Pilotti, Pablo | |
| 22 | NA | Speciale, Pablo | |
| 23 | 6.5 | Rosner, Nicolas | |
| 24 | NA | Vanrell, Juan Angel | |
| 25 | 8.50 | Veronica Pechersky | |
| 26 | 9.50 | Natalia Davidovich |