Zepeda Cortés, ClaudiaCarballido Carranza, José LuisZEPEDA CORTES, CLAUDIA; 201772CARBALLIDO CARRANZA, JOSE LUIS; 56479Cordero Romero, Mayra2020-03-262020-03-262014https://hdl.handle.net/20.500.12371/5285"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".pdfspaINGENIERÍA Y TECNOLOGÍAProgramación lógicaComputación semánticaRazonamiento no monótonoTesis de licenciaturaAgentes inteligentes (Software para computadora)Lenguajes específicos de dominio (Computación)Abducción (Lógica)openAccessDominio (redes informáticas)