Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa

En este trabajo consideramos dos tipos de errores susceptibles de ser tratados mediante nuestro método de depuración declarativa. En primer lugar, se consideran aquellas respuestas que han sido obtenidas de manera inesperada para un objetivo determinado (respuestas incorrectas). Para este primer cas...

ver descrição completa

Detalhes bibliográficos
Autor: Vado Vírseda, Rafael del
Tipo de documento: tese
Data de publicação:2009
País:España
Repositório:Docta Complutense
Idioma:espanhol
OAI Identifier:oai:docta.ucm.es:20.500.14352/48698
Acesso em linha:https://hdl.handle.net/20.500.14352/48698
Access Level:Acceso aberto
Palavra-chave:004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_faf42fd52eb986f6e2b3628723640a2f
oai_identifier_str oai:docta.ucm.es:20.500.14352/48698
network_acronym_str ES
network_name_str España
repository_id_str
spelling Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativaVado Vírseda, Rafael del004.42.047(043.2)Programación lógicaProgramación funcionalProgramación lógico-funcionalProgramación de ordenadores (Informática)1203.23 Lenguajes de ProgramaciónEn este trabajo consideramos dos tipos de errores susceptibles de ser tratados mediante nuestro método de depuración declarativa. En primer lugar, se consideran aquellas respuestas que han sido obtenidas de manera inesperada para un objetivo determinado (respuestas incorrectas). Para este primer caso, proponemos un cálculo de prueba positivo desarrollado a partir de CRWL(D), mediante el que es posible definir los árboles de cómputo como árboles de derivación lógica. En segundo lugar, se considera como un posible error aquel en el que en el conjunto de todas las respuestas obtenidas para un mismo objetivo falte alguna respuesta esperada (respuestas perdidas). En este segundo caso, proponemos otro cálculo denominado cálculo de prueba negativo, en el cual las derivaciones lógicas formalizan la recolección de respuestas computadas y sirven para definir árboles de cómputo aplicables a la diagnosis de respuestas perdidas. Demostramos la corrección lógica de los métodos de diagnosis propuestos, tanto para respuestas incorrectas como para respuestas perdidas, en relación a los sistemas de resolución de objetivos presentados. Finalmente, proponemos la implementación en el sistema TOY de dos posibles herramientas basadas en los métodos de depuración descritos.Universidad Complutense de Madrid, Servicio de PublicacionesRodríguez Artalejo, MarioUniversidad Complutense de Madrid20232023-06-2020092009-06-0120092009-06-01doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/48698reponame:Docta Complutenseinstname:Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/486982025-08-02T12:44:52Z
dc.title.none.fl_str_mv Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
spellingShingle Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
Vado Vírseda, Rafael del
004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
title_short Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_full Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_fullStr Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_full_unstemmed Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_sort Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
dc.creator.none.fl_str_mv Vado Vírseda, Rafael del
author Vado Vírseda, Rafael del
author_facet Vado Vírseda, Rafael del
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.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
topic 004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
description En este trabajo consideramos dos tipos de errores susceptibles de ser tratados mediante nuestro método de depuración declarativa. En primer lugar, se consideran aquellas respuestas que han sido obtenidas de manera inesperada para un objetivo determinado (respuestas incorrectas). Para este primer caso, proponemos un cálculo de prueba positivo desarrollado a partir de CRWL(D), mediante el que es posible definir los árboles de cómputo como árboles de derivación lógica. En segundo lugar, se considera como un posible error aquel en el que en el conjunto de todas las respuestas obtenidas para un mismo objetivo falte alguna respuesta esperada (respuestas perdidas). En este segundo caso, proponemos otro cálculo denominado cálculo de prueba negativo, en el cual las derivaciones lógicas formalizan la recolección de respuestas computadas y sirven para definir árboles de cómputo aplicables a la diagnosis de respuestas perdidas. Demostramos la corrección lógica de los métodos de diagnosis propuestos, tanto para respuestas incorrectas como para respuestas perdidas, en relación a los sistemas de resolución de objetivos presentados. Finalmente, proponemos la implementación en el sistema TOY de dos posibles herramientas basadas en los métodos de depuración descritos.
publishDate 2009
dc.date.none.fl_str_mv 2009
2009-06-01
2009
2009-06-01
2023
2023-06-20
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/48698
url https://hdl.handle.net/20.500.14352/48698
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
info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
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_ 1844180419426123776
score 15,638193

Registros relacionados