|
|
|
|
| LEADER |
03907nam a2200361 a 4500 |
| 001 |
ELB89472 |
| 003 |
FlNmELB |
| 006 |
m o d | |
| 007 |
cr cn||||||||| |
| 008 |
201201r2011 sp |||||s|||||||||||spa d |
| 020 |
|
|
|z 9788469451113
|
| 035 |
|
|
|a (MiAaPQ)EBC3196125
|
| 035 |
|
|
|a (Au-PeEL)EBL3196125
|
| 035 |
|
|
|a (CaPaEBR)ebr10522637
|
| 035 |
|
|
|a (OCoLC)929320953
|
| 040 |
|
|
|a FlNmELB
|b spa
|c FlNmELB
|
| 050 |
|
4 |
|a QA76.615
|b R763 2011
|
| 080 |
|
|
|a 004.42.048(043.2)
|
| 082 |
0 |
4 |
|a 005.131
|2 22
|
| 100 |
1 |
|
|a Romero Díaz, Carlos Alberto.
|
| 245 |
1 |
0 |
|a Programación declarativa cualificada con restricciones
|h [recurso electronico] /
|c Carlos Alberto Romero Díaz ; directores, Rafael Caballero, Mario Rodríguez Artalejo.
|
| 260 |
|
|
|a Madrid :
|b Universidad Complutense de Madrid,
|c 2011.
|
| 300 |
|
|
|a 325 p.
|
| 502 |
|
|
|a Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 07/04/2011.
|
| 520 |
|
|
|a La incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial, a la programación lógica ha sido objeto de investigación en las últimas décadas. En este periodo, se han aportado diversas propuestas con este propósito así como diferentes aplicaciones prácticas de estas propuestas. Al mismo tiempo, los esquemas CLP y CFLP de la programación lógica con restricciones y la programación lógico-funcional con restricciones, respectivamente, se han convertido en potentes marcos de programación con soporte para computaciones eficientes sobre dominios de restricciones especializados, el primero, y también con funciones perezosas al estilo de las de la programación funcional, el segundo. Sin embargo, han sido escasas las extensiones con incertidumbre que han tomado como punto de partida alguno de los esquemas CLP o CFLP, a pesar de que la potencia de cómputo de los dominios de restricciones sí ha facilitado su implementación práctica.Es por ello objeto de esta tesis la investigación de extensiones con incertidumbre de los esquemas anteriormente mencionados, y por tanto se desarrollan aquí principalmente dos esquemas paramétricos de programación declarativa con incertidumbre: una extensión con cualificación y proximidad del marco CLP; y una extensión con cualificación de programas CFLP de primer orden.Para los esquemas de programación aquí desarrollados se aportan dos caracterizaciones equivalentes de la semántica declarativa --- una de punto fijo a partir de un transformador de interpretaciones y otra basada en un cálculo lógico o una lógica de reescritura, según sea el esquema de partida. Se aportan también una noción declarativa de objetivo y solución, y diferentes métodos de resolución de objetivos basados en técnicas de transformación de programas, que conducen a la obtención de programas y objetivos equivalentes para los que pueden computarse respuestas adecuadas.Estas técnicas de transformación permiten además implementar de manera sencilla y natural distintas instancias útiles de los esquemas propuestos en un prototipo que está públicamente disponible y que, sobre sistemas CLP actuales, hace posible la ejecución de ejemplos y programas propuestos a lo largo de la tesis y la resolución de objetivos arbitrarios para dichos programas.
|
| 533 |
|
|
|a Recurso electrónico. Santa Fe, Arg.: e-libro, 2015. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a e-libro.
|
| 650 |
|
4 |
|a Programación declarativa.
|
| 650 |
|
4 |
|a Declarative programming.
|
| 655 |
|
4 |
|a Libros electrónicos.
|
| 700 |
1 |
|
|a Caballero Roldán, Rafael,
|e dir.
|
| 700 |
1 |
|
|a Rodríguez Artalejo, Mario,
|e dir.
|
| 710 |
2 |
|
|a e-libro, Corp.
|
| 856 |
4 |
0 |
|u https://elibro.net/ereader/uninicaragua/89472
|