Browsing by Author "Cordero Romero, Mayra"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Tesis de licenciatura Modelado de problemas de actualización utilizando un enfoque de actualización de secuencias de programas lógicos basado en Answer Set Programming(Benemérita Universidad Autónoma de Puebla, 2014) Cordero Romero, Mayra; ZEPEDA CORTES, CLAUDIA; 201772; CARBALLIDO CARRANZA, JOSE LUIS; 56479"El siguiente trabajo de investigación consiste en analizar y modelar un conjunto de problemas que tienen que ver con actualización de la información para lo cuál haremos uso de un enfoque de actualización basado en secuencias de programas lógicos y que utiliza a la semántica estable (también conocida como Answers Set Programming) como base. Los problemas que consideramos estan de nidos en diferentes dominios. Para el modelado y el análisis de los problemas implementamos diferentes programas utilizando el software que obtienen modelos estables o aswer sets conocido como DLV. Finalmente realizamos una discusión y comparación de resultados obtenidos en los diferentes dominios de prueba".