Semánticas para lógicas posibilistas

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorArrazola Ramírez, José Ramón Enrique
dc.contributorMartínez Ruiz, Iván
dc.contributor.advisorARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorVélez Salazar, Rubén Octavio
dc.creatorVELEZ SALAZAR, RUBEN OCTAVIO; 95253
dc.date.accessioned2020-07-23T15:45:03Z
dc.date.available2020-07-23T15:45:03Z
dc.date.issued2015-06-05
dc.description.abstract"En este trabajo comenzamos por explicar lo que entendemos por una lógica y explicamos las diferentes lógicas que utilizamos en esta tesis: la clásica, la intuicionista, la paraconsistente Cω y la posibilista. Todas estas tienen una conexión con el campo perteneciente a la Inteligencia Artificial dedicada a representar información sobre el mundo real de tal forma que una computadora la pueda utilizar para dar soluciones a problemas que pudieran ser complejos. Tal campo se conoce como la Representación del Conocimiento. Los atributos de la Lógica Posibilista en el manejo de la información incompleta o parcialmente inconsistente, las lógicas constructivas, como la Intuicionista y las lógicas Paraconsistentes, como Cω, hacen que estas lógicas sean útiles en la Representación del Conocimiento. La Lógica Posibilista Intuicionista P IL fue tratada ya en [11, 12], en el cual los autores presentan algunas propiedades sintácticas de P IL. Nosotros retomamos algunos de sus resultados y aportamos dos semánticas para P IL: una semántica de Kripke y una semántica topológica. Además, en esa dirección estudiamos la Lógica Posibilista Paraconsistente que denominamos P CωL, presentando algunas de sus propiedades sintácticas as ́ı como dos semánticas: una semántica de Kripke y una semántica topológica".es_MX
dc.folio380515Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/6890
dc.language.isospaes_MX
dc.matricula.creator215702213es_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.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.lccLógica simbólica y matemáticaes_MX
dc.subject.lccLógica difusaes_MX
dc.subject.lccLenguajes de programación (Computadoras)--Semánticaes_MX
dc.subject.lccInteligencia artificial--Modelos matemáticoses_MX
dc.subject.lccProgramación lógica--Investigaciónes_MX
dc.subject.lccProgramas para computadora--Investigaciónes_MX
dc.thesis.careerDoctorado en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.titleSemánticas para lógicas posibilistases_MX
dc.typeTesis de doctoradoes_MX
dc.type.conacytdoctoralThesises_MX
dc.type.degreeDoctoradoes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
380515T.pdf
Size:
434.18 KB
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 Doctorado