Prof. Dr. Alessandro Artale
Free University of Bolzano/Bozen
Curso de posgrado:
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur, Bahía Blanca – Argentina
Fechas:
Desde el 6/07/2015 hasta el 17/7/2015, en Laboratorio 3 del DCIC – UNS
Av. Alem 1253 – Bahía Blanca.
Objetivos:
El objetivo de este curso es que los alumnos conozcan y manejen los fundamentos formales de los lenguajes de representación del conocimiento basados en la lógica de primer orden, con una revisión de los métodos de razonamiento para los mismos, y que apliquen técnicas desarrolladas para problemas de manejo de bases de datos, ontologías y web semántica. En particular, el curso se focalizará en las lógicas para la descripción (description logics) y en su aplicación para razonar sobre modelos creados mediante lenguajes de modelado conceptual.
Prerequisitos:
- Manejo de lenguajes de modelado conceptual (UML, diagramas E-R).
- Nociones y práctica en el uso de bases de datos relacionales.
- Conocimientos de lógica de primer orden tal como se da en cursos introductorios de pregrado.
Contacto:
Pablo Fillottrani
Departamento de Ciencias e Ingeniería de la Computación
Universidad Nacional del Sur
email: prf@cs.uns.edu.ar
