3 results
Search Results
Now showing 1 - 3 of 3
Item Modelado del 3-coloreo de grafos planares usando satisfactibilidad Incremental(2021-01) López Ramírez, Cristina; LOPEZ RAMIREZ, CRISTINA; 80296; DE ITA LUNA, GUILLERMO; 57559"Uno de los problemas fundamentales en el razonamiento automático es el problema de satisfactibilidad proposicional (SAT), el SAT es un problema de la clase de complejidad NP-Completo. Las aplicaciones de SAT rara vez se limitan a resolver sólo una fórmula de entrada, una aplicación normalmente resolverá una secuencia de fórmulas relacionadas.En esta investigación se propone una estrategia para utilizar estructuras que se formen en la fase 1 de 2-ISAT y que sean usadas durante la fase 2 del problema. Se propone revisar si pueden haber estructuras computacionales que creadas en la primer fase, resuelvan 2-ISAT en tiempo polinomial, o bien, el problema 2-ISAT es de complejidad NP."Item Análisis de expresiones faciales para la detección de estados de ánimo(2017-09) García Ramírez, Jesús; GARCIA RAMIREZ, JESUS; 701191; Olmos Pineda, Ivan; Olvera López, José Arturo“El procesamiento de imágenes digitales junto con la inteligencia artificial son áreas de interés por la comunidad científica, comúnmente sus aplicaciones son en áreas diferentes a la computación (por ejemplo, la medicina o psicología). Las expresiones faciales proveen mucha información sobre los estados de ánimo que demuestra una persona, por la razón anterior, la visión por computadora puede ser utilizada para detectar el estado de ánimo que demuestra una persona en una imagen.”Item Sistema de revisión de creencias usando inferencia proposicional(Benemérita Universidad Autónoma de Puebla, 2022-10) Guridi Bandala, Guillermo Daniel; BELLO LOPEZ, PEDRO; 80291"El problema aquí desarrollado modela el problema de revisión de creencias a través del desarrollo de un sistema en web para determinar si una nueva información se puede inferir de una base de conocimiento ya establecida y en caso contrario generar el conjunto de información que es necesaria para que se pueda generar la inferencia proposicional. Tanto la nueva información como la información almacenada en la base de conocimiento es modelada usando lógica proposicional a través de la Forma Normal Conjuntiva. El sistema se desarrolló como una aplicación web, instalando el servidor apache como servidor web y utilizando el lenguaje de programación PHP con HTML, CSS y un visualizador grafico con JavaScript".