Biblioteca de la Universidad Complutense de Madrid

Programación lógica cuantitativa y su implementación en TOY

Impacto



Romero Díaz, Carlos Alberto (2007) Programación lógica cuantitativa y su implementación en TOY. [Trabajo Fin de Máster]

[img]
Vista previa
PDF
495kB


Resumen

Desde 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.


Tipo de documento:Trabajo Fin de Máster
Información Adicional:

Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación , curso 2006-2007

Directores (o tutores):
NombreEmail del director (o tutor)
Rodríguez Artalejo, Mario
Palabras clave:Lógica de primer orden, Conjuntos ordenados, Programación lógica clásica, Programación lógica con incertidumbre, Programación lógica cuantitativa, TOY
Materias:Ciencias > Informática > Lenguajes de programación
Ciencias > Informática > Programación de ordenadores
Código ID:10090
Depositado:15 Feb 2010 15:48
Última Modificación:06 Feb 2014 08:37

Sólo personal del repositorio: página de control del artículo