Debugging declarativo basado en revisión de creencias

Autores
Vaucheret, Claudio A.; Simari, Guillermo Ricardo
Año de publicación
1999
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En este trabajo, presentamos un procedimiento de debugging basado en una operación de cambio de creencias, que requiere una mínima interacción con el programador. El significado pretendido del programa se incluye en el mismo programa por medio de reglas de oráculo y la operación de cambio de creencias hace que el programa se vuelva compatible con dicha in- formación. El procedimiento utiliza el operador de contracción presentado en [Vaucheret 98] para eliminar las reglas incorrectas del programa y también proveer información adicional para los átomos no cubiertos. La clase de programas lógicos considerados son los programas lógicos no esquemáticos, es decir proposicionales, con negación por falla y extendidos con la negación clásica.
Eje: Programación lógica
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23492

id SEDICI_c213bba87b0397a024809e76bd8b420c
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23492
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Debugging declarativo basado en revisión de creenciasVaucheret, Claudio A.Simari, Guillermo RicardoCiencias InformáticasDebugging DeclarativoLogic ProgrammingTeoría de Cambio de CreenciasProgramación LógicaEn este trabajo, presentamos un procedimiento de debugging basado en una operación de cambio de creencias, que requiere una mínima interacción con el programador. El significado pretendido del programa se incluye en el mismo programa por medio de reglas de oráculo y la operación de cambio de creencias hace que el programa se vuelva compatible con dicha in- formación. El procedimiento utiliza el operador de contracción presentado en [Vaucheret 98] para eliminar las reglas incorrectas del programa y también proveer información adicional para los átomos no cubiertos. La clase de programas lógicos considerados son los programas lógicos no esquemáticos, es decir proposicionales, con negación por falla y extendidos con la negación clásica.Eje: Programación lógicaRed de Universidades con Carreras en Informática (RedUNCI)1999-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23492spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:16Zoai:sedici.unlp.edu.ar:10915/23492Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:17.795SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Debugging declarativo basado en revisión de creencias
title Debugging declarativo basado en revisión de creencias
spellingShingle Debugging declarativo basado en revisión de creencias
Vaucheret, Claudio A.
Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
title_short Debugging declarativo basado en revisión de creencias
title_full Debugging declarativo basado en revisión de creencias
title_fullStr Debugging declarativo basado en revisión de creencias
title_full_unstemmed Debugging declarativo basado en revisión de creencias
title_sort Debugging declarativo basado en revisión de creencias
dc.creator.none.fl_str_mv Vaucheret, Claudio A.
Simari, Guillermo Ricardo
author Vaucheret, Claudio A.
author_facet Vaucheret, Claudio A.
Simari, Guillermo Ricardo
author_role author
author2 Simari, Guillermo Ricardo
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
topic Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
dc.description.none.fl_txt_mv En este trabajo, presentamos un procedimiento de debugging basado en una operación de cambio de creencias, que requiere una mínima interacción con el programador. El significado pretendido del programa se incluye en el mismo programa por medio de reglas de oráculo y la operación de cambio de creencias hace que el programa se vuelva compatible con dicha in- formación. El procedimiento utiliza el operador de contracción presentado en [Vaucheret 98] para eliminar las reglas incorrectas del programa y también proveer información adicional para los átomos no cubiertos. La clase de programas lógicos considerados son los programas lógicos no esquemáticos, es decir proposicionales, con negación por falla y extendidos con la negación clásica.
Eje: Programación lógica
Red de Universidades con Carreras en Informática (RedUNCI)
description En este trabajo, presentamos un procedimiento de debugging basado en una operación de cambio de creencias, que requiere una mínima interacción con el programador. El significado pretendido del programa se incluye en el mismo programa por medio de reglas de oráculo y la operación de cambio de creencias hace que el programa se vuelva compatible con dicha in- formación. El procedimiento utiliza el operador de contracción presentado en [Vaucheret 98] para eliminar las reglas incorrectas del programa y también proveer información adicional para los átomos no cubiertos. La clase de programas lógicos considerados son los programas lógicos no esquemáticos, es decir proposicionales, con negación por falla y extendidos con la negación clásica.
publishDate 1999
dc.date.none.fl_str_mv 1999-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23492
url http://sedici.unlp.edu.ar/handle/10915/23492
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260121559760896
score 13.13397