Razonamiento Automático en Sistemas de Representación del Conocimiento (y su relación con la enseñanza de la Inteligencia Artificial)

Abstract

Uno de los objetivos, tanto docentes como investigadores, del Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla es el estudio de distintos sistemas de representación del conocimiento. En lo que a docencia se refiere, este estudio se centra en la utilización de dichos sistemas para resolver problemas clásicos de la Inteligencia Artificial. En el plano de la investigación se intentan demostrar distintas propiedades de estos sistemas utilizando herramientas de Razonamiento Automático. Entre los sistemas de representación del conocimiento más utilizados se encuentran los basados en reglas de producción. Su uso más común ha sido el de desarrollar sistemas expertos, existiendo herramientas específicas para tal fin, como son CLIPS o ART. Aun siendo ésta su principal utilidad, estos sistemas de representación del conocimiento se pueden aplicar a otros problemas en el campo de la Inteligencia Artificial. En concreto, proponemos aquí el uso de ART y CLIPS para la implementación y enseñanza de tableros semánticos proposicionales y unificación sintáctica como paso previo a la construcción de Sistemas de Razonamiento Automático de primer orden.