Lógicas descriptivas para mejores sistemas de información

Ponente(s): Magdalena Ortíz De La Fuente
.La información y datos a nuestro alrededor continúan creciendo, y es más apremiante que nunca la necesidad de sistemas de información inteligentes que puedan darle sentido a esta información y hacerla útil en nuestra vida cotidiana. Décadas de investigación en el campo de la representación del conocimiento y el razonamiento han dado como resultado un poderoso arsenal de herramientas basadas en formalismos lógicos que pueden utilizarse para representar algunos de nuestros conocimientos de una manera que sea legible por las computadoras, e idealmente, que permita que el razonamiento computacional mejore los sistemas de información actuales. En esta platica describiremos como las lógicas descriptivas, que son formalismos lógicos con problemas de inferencia decibles, pueden permitirnos la obtención de respuestas más inteligentes a partir de datos en la web, el acceso rápido y fácil a bases de datos aunque sean heterogéneas y no estén estructuradas, o la garantía de que los datos siguen siendo fiables a medida que son actualizados por los usuarios o las aplicaciones. Los diferentes problemas requieren diferentes formas de procesar los conocimientos y de sacar conclusiones de ellos. A lo largo del camino, debemos equilibrar constantemente las ricas funcionalidades de representación por un lado, y el costo de los algoritmos para inferencia por el otro.