Interrelación de algunas lógicas intermedias y Answer Set

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorArrazola Ramírez, José Enrique
dc.contributor.authorGarcés Báez, José Alfonso del Carmen
dc.date.accessioned2020-06-04T13:59:13Z
dc.date.available2020-06-04T13:59:13Z
dc.date.issued2003-03
dc.description.abstract"Este trabajo es una continuación del trabajo iniciado por D. Pearce. Hay una pregunta que no hemos contestado todavía, en el corolario 3 dijimos de alguna manera que la clase de modelos estable no es más expresiva que la clase de modelos stables mínimos. ¿Es la clase de modelos stable y mínimos más expresiva que la clase de modelos stable? Si la respuesta fuera no, lo cual corresponde a nuestra conjetura, entonces ambas semánticas podrán ser equivalentes desde el punto de vista del poder de problemas representados. Entonces tendríamos la posibilidad de hacer un intercambio entre esos dos paradigmas. Si la respuesta fuera si entonces los modelos que son mínimos y stables podrán ser más poderosos que los modelos solo stable. Esto podrá abrir una nueva línea de investigación sobre la clase de problemas que pueden ser expresados por modelos stable y mínimos, no por modelos solo stable".es_MX
dc.folio742914Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/6471
dc.language.isospaes_MX
dc.matricula.creator980070141es_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.dbgunamMatemáticas computacionaleses_MX
dc.subject.dbgunamBases de datos deductivases_MX
dc.subject.lccProgramación lógicaes_MX
dc.subject.lccNegación (Lógica)es_MX
dc.subject.lccProposición (Lógica)es_MX
dc.subject.lccRelación de equivalencia (Teoría de conjuntos)es_MX
dc.thesis.careerMaestría 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.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.titleInterrelación de algunas lógicas intermedias y Answer Setes_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:
742914T.pdf
Size:
619.13 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 Maestría