Rodríguez Artalejo, MarioRomero Díaz, Carlos Alberto2023-06-202023-06-202007https://hdl.handle.net/20.500.14352/54508Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación , curso 2006-2007Desde hace varias décadas, el tratamiento del conocimiento incierto ha ido haciéndose necesario en diferentes áreas de la ciencia. En particular, son múltiples los resultados aportados desde el campo de la Inteligencia Artifcial y la Programación Lógica. Estos resultados pueden englobarse en diferentes enfoques según la manera de tratar con la incertidumbre. La Programación Lógica Cuantitativa es uno de estos enfoques y, dentro de la Programación Lógica con Incertidumbre, constituye el más antiguo de cuantos se han empleado para introducir el conocimiento incierto y la incertidumbre en los lenguajes de lógicos de programación. Este trabajo surge a partir de la idea de realizar una actualización y revisión de los principales resultados de la Programación Lógica Cuantitativa (aquellos propuestos entre finales de los años 80 y comienzos de los 90) con especial énfasis en el artículo de van Emden [61] con el fin de obtener un lenguaje lógico cuantitativo de semántica rigurosa del que podamos partir para poder trasladar, posteriormente, algunas de estas ideas a otros lenguajes declarativos multiparadigma.spaAtribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/master thesisopen access004.42.047(043.3)Lógica de primer ordenConjuntos ordenadosProgramación lógica clásicaProgramación lógica con incertidumbreProgramación lógica cuantitativaTOYLenguajes de programaciónProgramación de ordenadores (Informática)1203.23 Lenguajes de Programación1203.23 Lenguajes de Programación