Modelado de problemas de actualización utilizando un enfoque de actualización de secuencias de programas lógicos basado en Answer Set Programming

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorZepeda Cortés, Claudia
dc.contributorCarballido Carranza, José Luis
dc.contributor.advisorZEPEDA CORTES, CLAUDIA; 201772
dc.contributor.advisorCARBALLIDO CARRANZA, JOSE LUIS; 56479
dc.contributor.authorCordero Romero, Mayra
dc.date.accessioned2020-03-26T19:27:55Z
dc.date.available2020-03-26T19:27:55Z
dc.date.issued2014
dc.description.abstract"El siguiente trabajo de investigación consiste en analizar y modelar un conjunto de problemas que tienen que ver con actualización de la información para lo cuál haremos uso de un enfoque de actualización basado en secuencias de programas lógicos y que utiliza a la semántica estable (también conocida como Answers Set Programming) como base. Los problemas que consideramos estan de nidos en diferentes dominios. Para el modelado y el análisis de los problemas implementamos diferentes programas utilizando el software que obtienen modelos estables o aswer sets conocido como DLV. Finalmente realizamos una discusión y comparación de resultados obtenidos en los diferentes dominios de prueba".es_MX
dc.folio143714TL
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/5285
dc.language.isospaes_MX
dc.matricula.creator200824411es_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.dbgunamAgentes inteligentes (Software para computadora)es_MX
dc.subject.dbgunamLenguajes específicos de dominio (Computación)es_MX
dc.subject.dbgunamAbducción (Lógica)
dc.subject.lccProgramación lógicaes_MX
dc.subject.lccComputación semánticaes_MX
dc.subject.lccRazonamiento no monótono
dc.subject.oclcDominio (redes informáticas)es_MX
dc.thesis.careerLicenciatura 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.degreetoobtainLicenciado(a) en Ciencias de la Computaciónes_MX
dc.titleModelado de problemas de actualización utilizando un enfoque de actualización de secuencias de programas lógicos basado en Answer Set Programminges_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
143714TL.pdf
Size:
9.14 MB
Format:
Adobe Portable Document Format
Description:
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 Licenciatura