Sistema para generar satisfactibilidad en fórmulas proposicionales

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorBello López, Pedro
dc.contributor.advisorBELLO LOPEZ, PEDRO; 80291
dc.contributor.authorAguilar Hernández, Edgar Sahit
dc.date.accessioned2023-04-26T15:43:29Z
dc.date.available2023-04-26T15:43:29Z
dc.date.issued2022-12
dc.description.abstract"El problema de satisfactibilidad proposicional es un caso especial del área de la Inteligencia Artificial y tiene una relación directa con la demostración Automática de Teoremas. El problema SAT es un problema de clase NP-completo, por lo que muchos han tratado de identificar casos restringidos para el problema SAT, así como la versión de optimización y conteo: problemas MaxSAT y #SAT, tratando de que estos puedan ser resueltos eficientemente. Los problemas NP-completo son los problemas que caracterizan la clase de tal forma que al encontrar una solución del problema SAT se pueden resolver los demás problemas de la clase; ya que se puede hacer una transformación en tiempo polinomial al problema correspondiente. Este trabajo de tesis es proponer un sistema para #SAT modelando una fórmula proposicional en FNC y generar una propuesta para la consistencia de F cuando no es consistente. Se presenta un algoritmo y su implementación computacional para contar el número de asignaciones de una fórmula F en FNC, lo que significa que, si la fórmula tiene modelos, entonces F es consistente o satisfactible y en caso contrario se aplica un algoritmo que genera una tabla donde se indica que cláusula es necesario quitar para lograr la satisfactibilidad".es_MX
dc.folio20221128095228-3657-TLes_MX
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/18281
dc.language.isospaes_MX
dc.matricula.creator201619629es_MX
dc.publisherBenemérita Universidad Autónoma de Pueblaes_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationINGENIERÍA Y TECNOLOGÍAes_MX
dc.subject.lccComplejidad computacionales_MX
dc.subject.lccCálculo proposicional--Problemas, ejercicios, etc.es_MX
dc.subject.lccAlgoritmos computacionaleses_MX
dc.subject.lccÁlgebra booleanaes_MX
dc.subject.lccAprendizaje automático (Inteligencia artificial)es_MX
dc.thesis.careerLicenciatura en Ingeniería en Ciencias de la Computaciónes_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias de la Computaciónes_MX
dc.thesis.degreetoobtainIngeniero (a) en Ciencias de la Computaciónes_MX
dc.titleSistema para generar satisfactibilidad en fórmulas proposicionaleses_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
20221128095228-3657-TL.pdf
Size:
1.32 MB
Format:
Adobe Portable Document Format
Description:
Download
Name:
20221128095228-3657-CARTA.pdf
Size:
185.12 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Licenciatura