Fundamentos lógico formales de las ontologías

El curso presenta una aproximación a conceptos claves, como sistema formal, interpretación, significado, consistencia, completitud, entre otros, que se ejemplifican en sistemas formales, hasta la formalización completa del cálculo proposicional y una aproximación a la formalización del cálculo de predicados y su correlación con elementos análogos de las ontologías. Está concebido para aquellos profesionales que estén trabajando o hayan trabajado en el desarrollo y/o aplicación de ontologías o que estén considerando introducirse en esa área específica de la Inteligencia Artificial. Aunque no es indispensable, una cierta base de Lógica matemática facilitaría la adquisición de nuevos conocimientos y habilidades.