Browsing by Author "Guridi Bandala, Guillermo Daniel"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Tesis de licenciatura 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".