Reparación de la inferencia entre formas conjuntivas implementando un algoritmo de revisión de creencias en PROLOG

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorDe Ita Luna, Guillermo
dc.contributorAltamirano Robles, Luis Carlos
dc.contributor.advisorDE ITA LUNA, GUILLERMO; 57559
dc.contributor.advisorAltamirano Robles, Luis Carlos; 26147
dc.contributor.authorOsuna González, Reynold
dc.date.accessioned2023-03-09T20:00:21Z
dc.date.available2023-03-09T20:00:21Z
dc.date.issued2022-07
dc.description.abstract"Para las aplicaciones de inteligencia artificial, es sumamente importante tanto la representación del conocimiento de un ser racional como la revisión de creencias, puesto que sin ella la base de conocimiento de dicho ser permanecería inalterable sin posibilidad de crecer o ser corregida. La lógica proposicional permite representar una base de conocimiento y por medio de la inferencia lógica, es posible determinar si la aparente nueva información forma o no parte de la base de conocimiento. En este proyecto se considera un operador de revisión de creencias entre formas normales conjuntivas (FNC’s). El operador que trabaja dentro del marco de la lógica proposicional hace uso de métodos de deducción automática para revisar si una nueva información se deduce lógicamente de una base de conocimiento. En el caso de que una nueva información no se infiera de la base de conocimiento, se debe determinar lo mínimo a agregar a la base de conocimiento, para que si se cumpla la inferencia. A este proceso le llamamos reparación de la inferencia lógica. En este proyecto de tesis, proponemos un método lógico para reparar la inferencia lógica entre FNC’s. La propuesta de método se implementa a través de un sistema programado con el lenguaje de programación lógica: PROLOG".es_MX
dc.folio20220616112844-2704-Tes_MX
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/17754
dc.language.isospaes_MX
dc.matricula.creator220470308es_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.lccCreencia y dudaes_MX
dc.subject.lccInferenciaes_MX
dc.subject.lccLógica computacionales_MX
dc.subject.lccCálculo proposicionales_MX
dc.subject.lccAlgoritmos computacionaleses_MX
dc.subject.lccInteligencia artificiales_MX
dc.thesis.careerMaestrí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.degreetoobtainMaestro en Ciencias de la Computaciónes_MX
dc.titleReparación de la inferencia entre formas conjuntivas implementando un algoritmo de revisión de creencias en PROLOGes_MX
dc.typeTesis de maestríaes_MX
dc.type.conacytmasterThesises_MX
dc.type.degreeMaestríaes_MX
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
20220616112844-2704-T.pdf
Size:
2.05 MB
Format:
Adobe Portable Document Format
Description:
Download
Name:
20220616112844-2704-CARTA.jpg
Size:
3.2 MB
Format:
Joint Photographic Experts Group/JPEG File Interchange Format (JFIF)
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 Maestría