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

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

Descripción completa

Detalles Bibliográficos
Autor: Romero Díaz, Carlos Alberto
Tipo de recurso: tesis de maestría
Fecha de publicación:2007
País:España
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/54508
Acceso en línea:https://hdl.handle.net/20.500.14352/54508
Access Level:acceso abierto
Palabra clave:004.42.047(043.3)
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
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_aed307c60eb2c0fd971c9fb3554bc868
oai_identifier_str oai:docta.ucm.es:20.500.14352/54508
network_acronym_str ES
network_name_str España
repository_id_str
spelling Programación lógica cuantitativa y su implementación en TOYRomero Díaz, Carlos Alberto004.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ónDesde 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.Rodríguez Artalejo, MarioUniversidad Complutense de Madrid20232023-06-2020072007-01-0120072007-01-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/54508reponame:Docta Complutenseinstname:Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/545082025-08-02T12:44:52Z
dc.title.none.fl_str_mv Programación lógica cuantitativa y su implementación en TOY
title Programación lógica cuantitativa y su implementación en TOY
spellingShingle Programación lógica cuantitativa y su implementación en TOY
Romero Díaz, Carlos Alberto
004.42.047(043.3)
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
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
title_short Programación lógica cuantitativa y su implementación en TOY
title_full Programación lógica cuantitativa y su implementación en TOY
title_fullStr Programación lógica cuantitativa y su implementación en TOY
title_full_unstemmed Programación lógica cuantitativa y su implementación en TOY
title_sort Programación lógica cuantitativa y su implementación en TOY
dc.creator.none.fl_str_mv Romero Díaz, Carlos Alberto
author Romero Díaz, Carlos Alberto
author_facet Romero Díaz, Carlos Alberto
author_role author
dc.contributor.none.fl_str_mv Rodríguez Artalejo, Mario
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.42.047(043.3)
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
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
topic 004.42.047(043.3)
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
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2007
2007-01-01
2007
2007-01-01
2023
2023-06-20
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/54508
url https://hdl.handle.net/20.500.14352/54508
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:
instname_str
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1844180531086884864
score 15.647109

Similares en LA Referencia