Resolución en lógicas anotadas sobre birretículos
| dc.contributor.advisor | Ortiz Rico, Guillermo | |
| dc.contributor.author | Ramírez Osorio, Ricardo Neftalí | |
| dc.date.accessioned | 2023-01-10T16:23:36Z | |
| dc.date.available | 2023-01-10T16:23:36Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | Este trabajo presenta los elementos básicos de la lógica de Primer Orden: su sintaxis y su semántica. Describimos un tipo especial de fórmula, llamado formas normales, que nos permiten automatizar los procesos; definimos las aplicaciones de sustitución y formalizamos el concepto de Resolución en el caso clásico. Luego enriquecemos el Principio de Resolución, por medio de una estrategia de refinamiento, obteniendo la Resolución Lineal, esta se define y se dan ejemplos. Se define el Principio de Resolución-SLD, que consiste de una estrategia de Resolución Lineal junto con un criterio de selección de literales, aplicado a cláusulas definidas. Se hace una presentación detallada de la semántica operacional, declarativa y de punto fijo, del Principio de Resolución-SLD y se demuestra que es un método deductivo valido y completo. Todo esto sobre lógicas de Primer Orden. Se describen las lógicas Anotadas, empleando como modelo a la lógica anotada Qτ. Se elige como conjunto de anotación la estructura de birretículo, el cual se define y se exhiben algunas propiedades; y as ́ı, se reconstruye el algoritmo de Resolución-SLD y su semántica en lógica Anotada sobre birretículos. Finalmente, se demuestra la validez y la completez del Principio de Resolución-SLD para lógicas Anotadas sobre birretículos; todo esto basado en el trabajo presentado por Komendantskaya. | |
| dc.description.degreelevel | Pregrado | spa |
| dc.description.degreename | MATEMÁTICO(A) | spa |
| dc.format.extent | 1 recurso en línea (131 páginas) | spa |
| dc.format.mimetype | application/pdf | spa |
| dc.identifier.uri | https://hdl.handle.net/10893/23716 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad del Valle | spa |
| dc.publisher.faculty | FACULTAD DE CIENCIAS NATURALES Y EXACTAS | spa |
| dc.publisher.place | Colombia | spa |
| dc.publisher.program | MATEMÁTICAS | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.coar | http://purl.org/coar/access_right/c_abf2 | spa |
| dc.rights.license | Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) | spa |
| dc.subject.lemb | Lógica de Primer Orden | |
| dc.subject.lemb | Lógica matemática | |
| dc.subject.lemb | Programación lógica | |
| dc.title | Resolución en lógicas anotadas sobre birretículos | |
| dc.type | Trabajo de grado - Pregrado | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | spa |
| dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
| dc.type.content | Text | spa |
| dc.type.driver | info:eu-repo/semantics/bachelorThesis | spa |
| dc.type.redcol | http://purl.org/redcol/resource_type/TP | spa |
| dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
| dspace.entity.type | Publication |