Bello López, PedroBELLO LOPEZ, PEDRO; 80291Guridi Bandala, Guillermo Daniel2022-11-252022-11-252022-10https://hdl.handle.net/20.500.12371/17004"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".pdfspaINGENIERÍA Y TECNOLOGÍACambio de creenciasLógica computacionalCálculo proposicionalAlgoritmos computacionalesInteligencia artificialDesarrollo de sitios Web--Programas para computadoraTesis de licenciaturaopenAccess