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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23492
Ver los metadatos del registro completo
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 |