Un algoritmo para la revisión de creencias entre formas conjuntivas

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorDe Ita Luna, Guillermo
dc.contributorRangel Huerta, Alejandro
dc.contributor.authorGarcía García, Alma Delia
dc.date.accessioned2021-09-29T16:50:43Z
dc.date.available2021-09-29T16:50:43Z
dc.date.issued2016-09
dc.description.abstract“La revisión de creencias es un área central en la representación del conocimiento y en el procesamiento de razonamiento automático, consiste en estar incorporando nuevas creencias, cambiando tan poco como sean posibles las creencias originales y manteniendo la consistencia de la base de creencias. Consideremos una base inicial de conocimiento K y una nueva información φ, ambas codificadas en forma normal conjuntiva (FC). Presentamos aquí, un algoritmo novedoso, determinista y correcto para la revisión de creencias de φ en K. Denotamos el operador de revisión como: K′ = K ◦φ. En este documento de tesis se propone un nuevo operador binario lógico Ind entre formas conjuntivas, donde Ind(φ,K) construye también una nueva forma conjuntiva. El operador Ind(φ,K) trabaja construyendo cláusulas independientes con las cláusulas de K, y las asignaciones falsificantes de la fórmula resultante cubren exactamente el espacio de asignaciones de Fals(φ) −Fals(K), lo que es esencial para realizar el proceso de revisión de creencias K′= K ◦ φ, y donde K′ |= φ. Además de que esta propuesta satisface los postulados KM. Por otro lado, se presenta la demostración de la corrección del algoritmo de revisión de creencias, así como el análisis de complejidad en tiempo”.es_MX
dc.folio562716Tes_MX
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/14475
dc.language.isospaes_MX
dc.matricula.creator214470638es_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.lccRazonamiento--Congresoses_MX
dc.subject.lccCogniciónes_MX
dc.subject.lccAprendizaje automático (Inteligencia artificial)es_MX
dc.subject.lccCambio de creenciases_MX
dc.subject.lccRepresentación del conocimiento (Teoría de la información)es_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.titleUn algoritmo para la revisión de creencias entre formas conjuntivases_MX
dc.typeTesis de maestríaes_MX
dc.type.conacytmasterThesises_MX
dc.type.degreeMaestríaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
562716T.pdf
Size:
472.15 KB
Format:
Adobe Portable Document Format
Download
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