Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Programación lógica"”.
-
Una semántica basada en juegos para la programación lógica rebatible
… esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente, que provee un mecanismo …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
… test case for embedded devices. Los lenguajes de programación declarativos permiten expresar programas en un lenguaje que es más cercano al problema que a los detalles de implementación. A pesar de la genericidad de esta definición, Lloyd propone una noción más clara de la declaratividad [Llo94], …
-
Programación lógica multiadjunta no monótona y ecuaciones bipolares de relaciones difusas: extensiones y relaciones
Esta tesis presenta un novedoso entorno de programación lógica no monótona, adaptando la filosofía del paradigma multiadjunto a la programación lógica normal y definiendo una semántica adecuada basada en modelos estables. Adicionalmente, el autor proporciona diferentes condiciones suficientes para …
-
El Lenguaje CLP(H/E): Una Aproximación basada en Restricciones a la Integración de la Programación Lógica y Funcional
One of the most challenging problems in Computational Logic is the integration of two of the most popular families of declarative languages: logical languages and equational languages. A relevant approach to address this problem is based on considering an equational logic program (P, E) as a …
-
Operador de consecuencias extendido por agregadores formales para modelar bases de datos con incertidumbre
La Programación Lógica nació a partir de los trabajos realizados en demostración automática de teoremas e inteligencia artificial a principios de la segunda mitad del siglo XX, entre los que destacó el trabajo de Robinson, donde introdujo una regla de inferencia que resultó fundamental para el …
-
Formalización y generalización del manejo de preferencias en servicios de razonamiento rebatible
… argumentos que es utilizado por el sistema de Programación Lógica Rebatible (DeLP) requerido para decidir derrotas al analizar ataques entre argumentos. Para lograr esto, se proponen varios servicios de razonamiento basados en DeLP que disponen de distintos criterios y permiten llevar a cabo …
-
Técnicas de transformación de programas lógicos para su optimización y paralelización automática
… del método a formas mas evolucionadas de la programación lógica, cuales son la programación lógica concurrente, con restricciones, y concurrente con restricciones. En primer lugar, se presenta un esquema de transformación de programas Prolog a programas AKL, el cual incorpora técnicas que …
-
Inducción de conocimiento con incertidumbre en bases de datos relacionales borrosas
… un sistema para aprendizaje de definiciones lógicas con incertidumbre, a partir de una base de datos relacional borrosa. El campo de interés se centra, por tanto, en la programación lógica inductiva, introduciendo algunas interesantes aportaciones, principalmente en lo que se refiere a la …
-
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación
Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de técnicas de paralelización automática. Existen resultados teóricos que pueden asegurar cuando los programas paralelizados son correctos, es decir, obtienen los mismos resultados que los correspondientes …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… no puramente académico de los lenguajes de programación declarativos (es decir, funcionales y lógicos) se ha incrementado enormemente desde que la tecnología VLSI ha demostrado las posibilidades reales de construir máquinas paralelas capaces de ejecutar programas declarativos eficientemente. …
-
Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java
… estudiado en el contexto de varios lenguajes de programación. Tradicionalmente, en el contexto de la programación declarativa y, recientemente, para lenguajes imperativos y orientados a objetos (OO). De hecho, existen analizadores de terminación para OO que son capaces de probar terminación de …